Dotty Documentation


object VarianceChecker
extends Object

Provides check method to check that all top-level definitions in tree are variance correct. Does not recurse inside methods. The method should be invoked once for each Template.

[-] Constructors

[-] Members

[+] case class VarianceError
[+] object VarianceError
[+] def check ( tree: Tree ) ( implicit ctx: Context ) : Unit