Skip to content

NoType gets accepted as a checked TypeTest #20262

Open
@EugeneFlesselle

Description

@EugeneFlesselle

Adding a require(castTpe.exists) precondition to

private def checkTypePattern(exprTpe: Type, castTpe: Type, pos: SrcPos)(using Context) =

fails when coming from def checkBind.

It would also probably be a good idea to assert(P.exists) here.

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions