Skip to content

Commit 14dfa14

Browse files
rsshnicolasstucki
andauthored
add TypeBound constructor compiler/src/dotty/tools/dotc/quoted/QuoteContextImpl.scala
Co-authored-by: Nicolas Stucki <[email protected]>
1 parent 30daf2c commit 14dfa14

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

compiler/src/dotty/tools/dotc/quoted/QuoteContextImpl.scala

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2052,7 +2052,9 @@ class QuoteContextImpl private (ctx: Context) extends QuoteContext:
20522052
object TypeBounds extends TypeBoundsModule:
20532053
def apply(low: Type, hi: Type): TypeBounds = Types.TypeBounds(low, hi)
20542054
def unapply(x: TypeBounds): Option[(Type, Type)] = Some((x.low, x.hi))
2055-
def minmax = TypeBounds(defn.NothingClass.tree.tpe, defn.AnyClass.tree.tpe)
2055+
def empty: TypeBounds = Types .TypeBounds.empty
2056+
def upper(hi: Type): TypeBounds = Types .TypeBounds.upper(hi)
2057+
def lower(lo: Type): TypeBounds = Types .TypeBounds.lower(hi)
20562058
end TypeBounds
20572059

20582060
object TypeBoundsMethodsImpl extends TypeBoundsMethods:

0 commit comments

Comments
 (0)