Matthias Krüger 20cbbbb977
Rollup merge of #112215 - compiler-errors:check-sized-better, r=cjgillot
only suppress coercion error if type is definitely unsized

we previously suppressed coercion errors when the return type was `dyn Trait` because we expect a far more descriptive `Sized` trait error to be emitted instead, however the code that does this suppression does not consider where-clause predicates since it just looked at the HIR. let's do that instead by creating an obligation and checking if it may hold.

fixes #110683
fixes #112208
2023-06-03 20:38:12 +02:00
..
2023-05-24 19:35:59 -03:00
2023-05-29 18:37:53 +02:00
2023-05-24 19:35:59 -03:00
2023-05-30 12:40:35 +02:00
2023-05-30 13:03:40 +02:00
2023-05-08 17:58:01 -03:00
2023-05-26 06:55:06 +10:00
2023-05-04 18:06:07 +00:00
2023-05-12 00:10:52 +00:00
2023-05-29 12:07:41 -03:00
2023-05-24 19:35:59 -03:00
2023-05-11 12:14:57 -07:00
2023-05-08 17:58:01 -03:00
2023-05-24 19:35:59 -03:00
2023-05-30 13:04:25 +02:00
2023-06-03 09:22:47 +08:00
2023-05-25 17:40:46 +00:00
2023-05-24 21:15:50 -03:00
2023-05-08 03:36:30 +00:00
2023-05-12 00:10:52 +00:00
2023-05-24 19:54:13 -03:00
2023-05-02 10:32:08 +00:00
2023-05-05 14:58:52 -07:00
2023-05-08 03:36:30 +00:00
2023-05-29 12:07:41 -03:00
2023-05-26 18:55:02 +01:00
2023-05-01 16:15:17 +08:00
2023-05-16 20:30:48 +00:00
2023-05-12 00:10:52 +00:00
2023-05-24 19:35:59 -03:00