Skip to content

Commit 3c9117d

Browse files
committed
Space: Fix intersectUnrelatedAtomicTypes tracing
1 parent 46fc22b commit 3c9117d

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
@@ -320,7 +320,7 @@ object SpaceEngine {
320320
* The types should be atomic (non-decomposable) and unrelated (neither
321321
* should be a subtype of the other).
322322
*/
323-
def intersectUnrelatedAtomicTypes(tp1: Type, tp2: Type)(sp: Space)(using Context): Space = trace(i"atomic intersection: ${AndType(tp1, tp2)}", debug) {
323+
def intersectUnrelatedAtomicTypes(tp1: Type, tp2: Type)(sp: Space)(using Context): Space = trace(i"atomic intersection: ${AndType(tp1, tp2)}", debug, show) {
324324
// Precondition: !isSubType(tp1, tp2) && !isSubType(tp2, tp1).
325325
if !ctx.mode.is(Mode.SafeNulls) && (tp1.isNullType || tp2.isNullType) then
326326
// Since projections of types don't include null, intersection with null is empty.

0 commit comments

Comments
 (0)