scala / scala Public

Rejigger missing methods check

Prefer type of overridden member when inferring (under `-Xsource:3`)

Lint unset private[this] vars

Co-authored-by: Seth Tisue <seth@tisue.net>
Co-authored-by: Jamie Thompson <bishbashboshjt@gmail.com>

Make fields for locals captured in traits non-final

Avoid crash when super accessor requires Java interface as direct parent

Other fields synthesizes in subclasses of traits are already non-final.
This is required because these fields are assigned in trait setters.
The JVM enforces this for classfiles with version > 52, i.e., JDK 9+.

To ensure safe publication, the constuctor calls `releaseFence`.

`A.super.foo` requires `A` to be a direct parent if it's a Java-defined
interface. If such a super call is generated in a super accessor,
issue an error.

This was already done for super accessors generated during mixin, but
not for super accessors created in superaccessors.

BigInt delegates for inputs not in domain

Avoid crash on message with missing type params

Similar to local vars in blocks, `private[this]` vars have no setters.
We use the same mechanism to lint if they are not set.
Also reorder checks in `termWarning` to account for vars in traits.

Update spec for assignment to prefix op expr

Fix rebindSuper