fromAbove
A type pattern that must be approximated from above
Adding this annotation in source has undefined behavior at compile-time
A type pattern that must be approximated from above
Adding this annotation in source has undefined behavior at compile-time