Migrations

dotty.tools.dotc.typer.Migrations

trait Migrations

A utility trait containing source-dependent deprecation messages and migrations.

Attributes

Graph
Supertypes: class Object

trait Matchable

class Any
Known subtypes: class Typer

class ReTyper

class InlineTyper

class Typer

class Checker

class LocalChecker
Show all
Self type: Typer

Flag & migrate explicit normal arguments to parameters coming from context bounds Warning in 3.4, error in 3.5, rewrite in 3.5-migration.

Flag & migrate ? used as a higher-kinded type parameter Warning in 3.0-migration, error from 3.0

Run migration, asserting we are in the proper Typer (not a ReTyper)

Run migration, provided we are in the proper Typer (not a ReTyper)

In this article

Generated with