Camille GILLOT
8c0cbd8767
Do not ICE when failing to normalize in ConstProp.
2023-03-06 09:28:49 +00:00
Michael Howell
3f374128ee
diagnostics: update test cases to refer to assoc fn with self as method
2023-02-22 08:40:47 -07:00
Michael Goulet
a58682d7cc
Specify what 'this' actually is
2023-02-21 05:21:07 +00:00
Caio
d75e43c371
Move tests
2023-02-16 11:42:35 -03:00
Edward Shen
af5a37e844
Modify existing bounds if they exist
2023-02-06 11:26:36 -08:00
Esteban Küber
5ae8e23816
Mention fn coercion rules (needs to be expanded)
2023-01-30 21:51:33 +00:00
Esteban Küber
153ed09fb3
Tweak use of trimmed paths
2023-01-30 20:12:21 +00:00
Esteban Küber
252c43b42b
Do not mention lifetime names in force trimmed paths
2023-01-30 20:12:21 +00:00
Esteban Küber
62ba3e70a1
Modify primary span label for E0308
...
The previous output was unintuitive to users.
2023-01-30 20:12:19 +00:00
Matthias Krüger
3aeafca070
Rollup merge of #107304 - Nilstrieb:ᐸTy as PartialEqᐳ：：eq because what else are we gonna use in rustc_middle, r=compiler-errors
...
Use `can_eq` to compare types for default assoc type error
This correctly handles inference variables like `{integer}`. I had to move all of this `note_and_explain` code to `rustc_infer`, it made no sense for it to be in `rustc_middle` anyways.
The commits are reviewed separately.
Fixes #106968
2023-01-26 07:53:26 +01:00
Nilstrieb
943000fdcf
Use can_eq to compare types for default assoc type error
...
This works correctly with inference variables.
2023-01-25 21:25:42 +01:00
Esteban Küber
656db98bd9
Tweak E0597
...
CC #99430
2023-01-15 19:46:20 +00:00
Matthias Krüger
8c538f7d83
Rollup merge of #106788 - estebank:elaborate_pred_E0599, r=compiler-errors
...
Tweak E0599 and elaborate_predicates
CC https://github.com/rust-lang/rust/issues/86377 .
2023-01-14 13:04:26 +01:00
Esteban Küber
3d6b09e53e
Keep obligation chain when elaborating obligations
2023-01-13 18:20:23 +00:00
Matthias Krüger
c6e3a47843
Rollup merge of #106585 - estebank:issue-46585, r=compiler-errors
...
When suggesting writing a fully qualified path probe for appropriate types
Address the more common part of #46585 .
2023-01-13 19:16:42 +01:00
Michael Goulet
d7113948d3
Rollup merge of #106524 - compiler-errors:constructor-note, r=cjgillot
...
Label `struct/enum constructor` instead of `fn item`, mention that it should be called on type mismatch
Fixes #106516
2023-01-11 22:25:49 -08:00
Esteban Küber
12ddf77811
When suggesting writing a fully qualified path probe for appropriate types
...
Fix #46585 .
2023-01-11 21:30:10 +00:00
Michael Goulet
d375440dab
label where constructor is defined and note that it should be called
2023-01-11 19:53:15 +00:00
Michael Goulet
9a39d7e441
Note predicate span on ImplDerivedObligation
2023-01-11 19:46:45 +00:00
Albert Larsan
cf2dff2b1e
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
