Refine the bounds on type parameters to the given type arguments.
Refine the bounds on type parameters to the given type arguments.
Check annotations to decide whether tpe1 <:< tpe2
Check annotations to decide whether tpe1 <:< tpe2
Refine the computed least upper bound of a list of types.
Refine the computed least upper bound of a list of types. All this should do is add annotations.
(Since version 2.10.1) Create an AnalyzerPlugin and use adaptAnnotations
(Since version 2.10.1) Create an AnalyzerPlugin and use pluginsTypedReturn. Note: the 'tree' argument here is the 'expr' of a Return tree; 'pluginsTypedReturn' takes the Return tree itself as argument
(Since version 2.10.1) Create an AnalyzerPlugin and use pluginsTyped
(Since version 2.10.1) Create an AnalyzerPlugin and use canAdaptAnnotations
Checks whether @cps annotations conform