[+] class HasProblemBounds

[+] class HasProblemField

[+] final object NotConcrete

[+] class NotFinal

[+] final object NotStable

[+] class ProblemInUnderlying

[+] abstract class Realizability

[+] final object Realizable

[+] def boundsRealizability ( tp: Type ) ( implicit ctx: Context ) : HasProblemBounds | Realizable$

[+] def realizability ( tp: Type ) ( implicit ctx: Context ) : Realizability