5 commits

Author	SHA1	Message	Date
Esteban Küber	6efddac288	Provide more context on derived obligation error primary label ... Expand the primary span of E0277 when the immediate unmet bound is not what the user wrote: ``` error[E0277]: the trait bound `i32: Bar` is not satisfied --> f100.rs:6:6 | 6 | <i32 as Foo>::foo(); | ^^^ the trait `Bar` is not implemented for `i32`, which is required by `i32: Foo` | help: this trait has no implementations, consider adding one --> f100.rs:2:1 | 2 | trait Bar {} | ^^^^^^^^^ note: required for `i32` to implement `Foo` --> f100.rs:3:14 | 3 | impl<T: Bar> Foo for T {} | --- ^^^ ^ | | | unsatisfied trait bound introduced here ``` Fix #40120.	2024-01-30 21:28:18 +00:00
Oli Scherer	cd4c352fb4	Reorder check_item_type diagnostics so they occur next to the corresponding check_well_formed diagnostics	2024-01-02 14:17:56 +00:00
Oli Scherer	beaf46f7e5	Work around the fact that check_mod_type_wf may spuriously return ErrorGuaranteed, even if that error is only emitted by check_modwitem_types	2023-10-25 12:04:54 +00:00
Ali MJ Al-Nasrawy	eea560494c	oops! new unsoundness ... Bless tests and show an introduced unsoundness related to exits<'a> { forall<'b> { 'a == 'b } }. We now resolve the var ?a in U0 to the placeholder !b in U1.	2023-03-05 12:49:01 +03:00
Albert Larsan	cf2dff2b1e	Move /src/test to /tests	2023-01-11 09:32:08 +00:00

Renamed from src/test/ui/wf/hir-wf-check-erase-regions.stderr (Browse further)