Ali MJ Al-Nasrawy
996ffcb718
always show and explain sub region
2023-10-08 09:59:51 +00:00
Alex Macleod
5453a9f34d
Add a note to duplicate diagnostics
2023-10-05 01:04:41 +00:00
Michael Goulet
07fc644132
Do not require associated types with Self: Sized to uphold bounds when confirming object candidate
2023-09-02 05:08:38 +00:00
Esteban Küber
ef11db803c
Remove unnecessary select_obligations_where_possible and redundant errors
2023-08-26 19:35:54 +00:00
Esteban Küber
bac0e556f0
On let binding type point to type parameter that introduced unmet bound
...
On the following example, point at `String` instead of the whole type:
```
error[E0277]: the trait bound `String: Copy` is not satisfied
--> $DIR/own-bound-span.rs:14:24
|
LL | let _: <S as D>::P<String>;
| ^^^^^^ the trait `Copy` is not implemented for `String`
|
note: required by a bound in `D::P`
--> $DIR/own-bound-span.rs:4:15
|
LL | type P<T: Copy>;
| ^^^^ required by this bound in `D::P`
```
2023-08-26 02:23:25 +00:00
León Orell Valerian Liehr
55aba32ac5
Update existing UI tests
2023-07-28 22:23:21 +02:00
Michael Goulet
fe870424a7
Do not set up wrong span for adjustments
2023-07-10 20:09:26 +00:00
Oli Scherer
f80aec7429
Test that you can't circumvent the Sized bound check
2023-07-05 07:46:05 +00:00
Oli Scherer
25e3785b86
Make unused_associated_type_bounds's lint level changeable
2023-07-05 07:46:05 +00:00
Oli Scherer
ce3cff47e0
Add more tests
2023-07-05 07:46:05 +00:00
Oli Scherer
a49b736568
Lint now-unnecessary associated type bounds
2023-07-05 07:42:53 +00:00
Oli Scherer
ca581f9161
Don't require associated types with Self: Sized bounds in dyn Trait objects
2023-07-05 07:42:53 +00:00
Michael Goulet
14bf909e71
Note base types of coercion
2023-05-12 00:10:52 +00:00
Oli Scherer
41e3cc4c96
Add some tests around (lack of) object safety of associated types and consts
2023-04-20 09:41:38 +00:00
Michael Goulet
2895731e5e
Name placeholder in some region errors
2023-02-21 00:00:49 +00:00
Albert Larsan
cf2dff2b1e
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
