fromAbove

class fromAbove extends Annotation

A type pattern that must be approximated from above

Adding this annotation in source has undefined behavior at compile-time

Source:
Patterns.scala
class Object
trait Matchable
class Any