scala3-compiler-bootstrapped/dotty.tools.dotc.core/Types/RefinedType

RefinedType

object RefinedType
Companion
class
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply(parent: Type, name: Name, info: Type)(using Context): RefinedType
def make(parent: Type, names: List[Name], infos: List[Type])(using Context): Type