Difference in behavior between S[a.type] and a.type + 1#24717
Description
Compiler version
3.8.1-RC1-bin-20251209-07883c1-NIGHTLY
Minimized code
importscala.compiletime.ops.int.+importscala.compiletime.ops.int.Sobjecttest{objectO{opaquetypeO=Inttransparentinlinedefv:O=123 } vala:123&O.O=O.v valb:S[a.type] =124// worksvalc: a.type+1=124// error }Output
Compiling project (Scala3.8.1-RC1-bin-20251209-07883c1-NIGHTLY, JVM (21)) [error] ./refined.scala:12:23 [error] Found: (124:Int) [error] Required: (test.a : (123:Int) & test.O.O) + (1:Int) [error] valc: a.type+1=124 [error] ^^^Error compiling project (Scala3.8.1-RC1-bin-20251209-07883c1-NIGHTLY, JVM (21)) Compilation failedExpectation
Code should compile without errors.