Skip to content

Commit c569a4f

Browse files
dwijnandKordyjan
authored andcommitted
Space: Fix intersectUnrelatedAtomicTypes tracing
1 parent 555df53 commit c569a4f

File tree

1 file changed

+1
-1
lines changed
  • compiler/src/dotty/tools/dotc/transform/patmat

1 file changed

+1
-1
lines changed

compiler/src/dotty/tools/dotc/transform/patmat/Space.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -330,7 +330,7 @@ object SpaceEngine {
330330
* The types should be atomic (non-decomposable) and unrelated (neither
331331
* should be a subtype of the other).
332332
*/
333-
def intersectUnrelatedAtomicTypes(tp1: Type, tp2: Type)(sp: Space)(using Context): Space = trace(i"atomic intersection: ${AndType(tp1, tp2)}", debug) {
333+
def intersectUnrelatedAtomicTypes(tp1: Type, tp2: Type)(sp: Space)(using Context): Space = trace(i"atomic intersection: ${AndType(tp1, tp2)}", debug, show) {
334334
// Precondition: !isSubType(tp1, tp2) && !isSubType(tp2, tp1).
335335
if !ctx.mode.is(Mode.SafeNulls) && (tp1.isNullType || tp2.isNullType) then
336336
// Since projections of types don't include null, intersection with null is empty.

0 commit comments

Comments
 (0)