You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
<console>:9:error: illegal inheritance;
self-type>>[F1,F2] does not conform to TFn1[_$1,_$4]'s selftype TFn1[_$1,_$4]
trait>>[F1<:TFn1[_, _], F2<:TFn1[_, _]] extendsTFn1[F1#In, F2#Out] {
^
>>[F1,F2] <:TFn1[_$1,_$4]?TFn1[_$1,_$4] <:TFn1[_$1,_$4]?
_$1<: _$1?
_$1<:Nothing?
<notype> <:Nothing?falseAny<:Nothing?
<notype> <:Nothing?falsefalsefalseAny<: _$1?Any<:Nothing?
<notype> <:Nothing?falsefalsefalsefalsefalsefalse
If find it highly suspicious that it cannot prove that _$1 <: _$1. Also, there isn't any constraints on the type parameters for TFn1, so I don't see how it could reject the inheritance (the type declaration seems in error, but it doesn't complain about that).
This was reported on Stack Overflow in this question.
The text was updated successfully, but these errors were encountered:
Given this code:
The following error is produced:
If find it highly suspicious that it cannot prove that
_$1 <: _$1
. Also, there isn't any constraints on the type parameters forTFn1
, so I don't see how it could reject the inheritance (thetype
declaration seems in error, but it doesn't complain about that).This was reported on Stack Overflow in this question.
The text was updated successfully, but these errors were encountered: