collectConstraintsFromAnnotations

fun SolverState.collectConstraintsFromAnnotations(    localDeclarations: List<DeclarationDescriptor>,     module: ModuleDescriptor,     bindingTrace: ResolutionContext): Pair<AnalysisResult, Set<FqName>>

Collects constraints by harvesting annotations. There are two sources: local declarations, and the entire CLASSPATH.