Closed
Description
Currently dotty doesn't warn when you reference an unknown type parameter, but silently accepts it. It might be friendlier towards the user to warn that he probably made a typo.
scala> @annotation.implicitNotFound("Bar[${B}] not found") trait Bar[A]
// defined trait Bar
scala> implicitly[Bar[String]]
1 |implicitly[Bar[String]]
| ^
| Bar[${B}] not found