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

AndType

object AndType
Companion
class
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply(tp1: Type, tp2: Type)(using Context): AndType
def balanced(tp1: Type, tp2: Type)(using Context): AndType
def make(tp1: Type, tp2: Type, checkValid: Boolean)(using Context): Type

Make an AndType using op unless clearly unnecessary (i.e. without going through &).

Make an AndType using op unless clearly unnecessary (i.e. without going through &).

def makeHk(tp1: Type, tp2: Type)(using Context): Type

Like make, but also supports higher-kinded types as argument

Like make, but also supports higher-kinded types as argument

def unchecked(tp1: Type, tp2: Type)(using Context): AndType