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
As far as I can tell, what's happening is that InferenceVisitorBase.findInterfaceMember determines that the receiver type is bounded by Never, and therefore it classifies the invocation as ObjectAccessTargetKind.never. This causes InferenceVisitorBase.inferMethodInvocation to defer type analysis to InferenceVisitorBase._inferNeverInvocation. The declaration of InferenceVisitorBase._inferNeverInvocation requires that the receiver type be an instance of NeverType, so InferenceVisitorBase.inferMethodInvocation tries to cast it. But the cast fails, because the receiver type isn't Never, it's a type variable whose bound is Never.
The text was updated successfully, but these errors were encountered:
The following program is accepted by the analyzer, but crashes the CFE:
The CFE stack trace looks like this:
As far as I can tell, what's happening is that
InferenceVisitorBase.findInterfaceMember
determines that the receiver type is bounded byNever
, and therefore it classifies the invocation asObjectAccessTargetKind.never
. This causesInferenceVisitorBase.inferMethodInvocation
to defer type analysis toInferenceVisitorBase._inferNeverInvocation
. The declaration ofInferenceVisitorBase._inferNeverInvocation
requires that the receiver type be an instance ofNeverType
, soInferenceVisitorBase.inferMethodInvocation
tries to cast it. But the cast fails, because the receiver type isn'tNever
, it's a type variable whose bound isNever
.The text was updated successfully, but these errors were encountered: