Local classes shouldn't be able to implement __* interfaces

derive4j / hkt

Higher Kinded Type machinery for Java

BSD 3-Clause "New" or "Revised" License

81 stars 9 forks source link

Open gneuvill opened 8 years ago

gneuvill commented 8 years ago

Local classes are classes declared inside methods or value constructors : there seems to be no use case for lifting those to type constructors.