Oron Port
Oron Port
OK, I did a complete rebase and split the PR into change-related commits. I'll update the SIP proposal to reflect the latest changes. I consider this work now complete and...
This SIP is withdrawn. See https://github.com/scala/improvement-proposals/pull/48#issuecomment-1719336078
Regarding the Precise type class, does it also keep tuples precise? I think it would good to look at https://github.com/scala/scala3/pull/15765/ for test cases. It has pretty good coverage for feature...
I believe this requires a spec change. Maybe @smarter can address this in https://github.com/scala/improvement-proposals/pull/84
But I'm not entirely sure #20166 requires a fix.
I don't understand, where is the contradiction? Where does it state that `compiletime.ops` can generally appear in a match type case? `S` is special cased in the match-type spec. It...
I will say that further look suggests there is a (false?) overloading ambiguity issue that may cause this: ```scala trait DFVal[+T
OK, so if I understand correctly, the reason my original code works now on nightly is that https://github.com/scala/scala3/issues/19955 was resolved. But there is still an underlying overloading issue, right?
> ```scala > val z2 = if ??? then y1 else y2 // -- what is the type of z2 > ``` Shouldn't it be a union of both types...
> From my side all is done. Ready to merge? Maybe I missed it, but didn't find a named tuple composition test. ``` val x: (tpl: (tpl2: (arg1: String, arg2:...