Allow hk applications of type lambdas to wildcard arguments; used for checking that such applications do not normally arise

Allow GADTFlexType labelled types to have their bounds adjusted

We are currently in a viewExists check. In that case, ambiguous implicits checks are disabled and we succeed with the first implicit found.

We are elaborating the fully qualified name of a package clause. In this case, identifiers should never be imported.

We are in a pattern alternative

We are looking at the arguments of a supercall

We are typing the body of an inline method

We are in the IDE

We are currently unpickling from Java 8 or higher

Use Scala2 scheme for overloading and implicit resolution

Don't suppress exceptions thrown during show

We are currently printing something: avoid to produce more logs about the printing

Read comments from definitions when unpickling from TASTY

Read original positions when unpickling from TASTY

We are currently unpickling Scala2 info

Assume -language:strictEquality

We are synthesizing the receiver of an extension method

This mode bit is set if we collect information without reference to a valid context with typerstate and constraint. This is typically done when we cache the eligibility of implicits. Caching needs to be done across different constraints. Therefore, if TypevarsMissContext is set, subtyping becomes looser, and assumes that TypeParamRefs can be sub- and supertypes of anything. See TypeComparer.