Package org.checkerframework.framework.util.typeinference
package org.checkerframework.framework.util.typeinference
-
ClassDescriptionAn implementation of TypeArgumentInference that mostly follows the process outlined in JLS7 See the JLS 7: JLS §5.12.2.7A class used to determine the greatest lower bounds for a set of AnnotatedTypeMirrors.Miscellaneous utilities to help in type argument inference.Instances of TypeArgumentInference are used to infer the types of method type arguments when no explicit arguments are provided.