Philipp Krones
|
cb3ecf7b79
|
Merge commit '37f4c1725d3fd7e9c3ffd8783246bc5589debc53' into clippyup
|
2023-07-02 14:59:02 +02:00 |
|
Michael Goulet
|
f711c7e1f6
|
Treat TAIT equation as always ambiguous in coherence
|
2023-06-18 22:52:30 +00:00 |
|
Oli Scherer
|
5777494f99
|
Add AliasKind::Weak for type aliases.
Only use it when the type alias contains an opaque type.
Also does wf-checking on such type aliases.
|
2023-06-16 19:39:48 +00:00 |
|
Philipp Krones
|
7e9abb311d
|
Merge commit '371120bdbf58a331db5dcfb2d9cddc040f486de8' into clippyup
|
2023-05-05 17:45:49 +02:00 |
|
flip1995
|
cd0bb7de01
|
Merge commit '4f142aa1058f14f153f8bfd2d82f04ddb9982388' into clippyup
|
2022-10-23 15:18:45 +02:00 |
|