Spec: Apply changes to weak conformance and introduce harmonization. #17942
Conversation
| @@ -1,54 +0,0 @@ | |||
| --- | |||
| layout: doc-page | |||
There was a problem hiding this comment.
I think it's valuable to have precise rules in these pages or at least refer to them. Of course, many pages here do not have precise rules, but I'd like us to move in the general direction of more precise rules, not loss.
So I'd either keep this page, or link to the section on Harmonization in the spec, if that's feasible.
There was a problem hiding this comment.
We don't publish the spec yet, so I cannot link to it. But I re-introduced an explicit reference to the relevant sections of the spec. (note that the content of APPLIEDreference is not what gets published at https://docs.scala-lang.org/scala3/reference/ at the moment, so this does not change anything to the currently published documents).
Note that weak conformance was not entirely dropped. It is still applicable to determine *compatibility* of a method call argument to the parameter type.
|
Ping @odersky. Is this OK to merge? |
|
Yes, ready to merge. |
[skip ci]
Note that weak conformance was not entirely dropped. It is still applicable to determine compatibility of a method call argument to the parameter type. See #7708.
@odersky Since you asked about it in the big type system PR. ;) FYI the changes in
TODOreferenceandAPPLIEDreferenceare part of our process to integrate the Reference into the Spec.