user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
rust/src/test/ui/union
History
Esteban Kuber 6b9d910639 Point at source of trait bound obligations in more places 
Be more thorough in using `ItemObligation` and `BindingObligation` when
evaluating obligations so that we can point at trait bounds that
introduced unfulfilled obligations. We no longer incorrectly point at
unrelated trait bounds (`substs-ppaux.verbose.stderr`).

In particular, we now point at trait bounds on method calls.

We no longer point at "obvious" obligation sources (we no longer have a
note pointing at `Trait` saying "required by a bound in `Trait`", like
in `associated-types-no-suitable-supertrait*`).

Address part of #89418.
2021-11-20 18:54:31 +00:00
..
auxiliary
issue-41073.rs
issue-41073.stderr feedback 2021-11-15 14:51:56 +11:00
union-align.rs Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-backcomp.rs Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-basic.rs Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-borrow-move-parent-sibling.mirunsafeck.stderr Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-borrow-move-parent-sibling.rs Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-borrow-move-parent-sibling.thirunsafeck.stderr Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-const-codegen.rs Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-const-eval-field.rs Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-const-eval.rs Update tests 2021-07-27 16:26:50 -04:00
union-const-pat.rs Deduplicate errors in const to pat conversion 2020-09-23 17:03:31 +02:00
union-const-pat.stderr Deduplicate errors in const to pat conversion 2020-09-23 17:03:31 +02:00
union-copy.rs stabilize union with 'ManuallyDrop' fields and 'impl Drop for Union' 2020-10-16 11:33:33 +02:00
union-copy.stderr stabilize union with 'ManuallyDrop' fields and 'impl Drop for Union' 2020-10-16 11:33:33 +02:00
union-custom-drop.rs
union-custom-drop.stderr feedback 2021-11-15 14:51:56 +11:00
union-deref.mirunsafeck.stderr Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-deref.rs Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-deref.thirunsafeck.stderr Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-derive-clone.mirunsafeck.stderr Suggest deriving traits if possible 2021-09-06 13:18:05 +02:00
union-derive-clone.rs Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-derive-clone.thirunsafeck.stderr Suggest deriving traits if possible 2021-09-06 13:18:05 +02:00
union-derive-eq.mirunsafeck.stderr Use note to point at bound introducing requirement 2021-08-16 17:47:22 +00:00
union-derive-eq.rs Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-derive-eq.thirunsafeck.stderr Use note to point at bound introducing requirement 2021-08-16 17:47:22 +00:00
union-derive-rpass.rs Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-derive.rs
union-derive.stderr Expand derive invocations in left-to-right order 2021-04-10 17:29:20 -04:00
union-drop-assign.rs stabilize union with 'ManuallyDrop' fields and 'impl Drop for Union' 2020-10-16 11:33:33 +02:00
union-drop.rs Test dropping union fields more 2021-08-03 15:11:04 -04:00
union-empty.rs
union-empty.stderr
union-fields-1.mirunsafeck.stderr Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-fields-1.rs Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-fields-1.thirunsafeck.stderr Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-fields-2.mirunsafeck.stderr Update UI tests 2021-08-02 16:51:39 +02:00
union-fields-2.rs Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-fields-2.thirunsafeck.stderr Update UI tests 2021-08-02 16:51:39 +02:00
union-generic-rpass.rs Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-generic.mirunsafeck.stderr Point at source of trait bound obligations in more places 2021-11-20 18:54:31 +00:00
union-generic.rs Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-generic.thirunsafeck.stderr Point at source of trait bound obligations in more places 2021-11-20 18:54:31 +00:00
union-inherent-method.rs Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-lint-dead-code.mirunsafeck.stderr Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-lint-dead-code.rs Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-lint-dead-code.thirunsafeck.stderr Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-macro.rs Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-manuallydrop-rpass.rs Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-move.mirunsafeck.stderr Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-move.rs Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-move.thirunsafeck.stderr Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-nodrop.rs Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-nonrepresentable.rs
union-nonrepresentable.stderr Modify structured suggestion output 2021-08-11 09:46:24 +00:00
union-nonzero.rs Fix typos “a”→“an” 2021-08-22 15:35:11 +02:00
union-overwrite.rs Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-packed.rs Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-pat-refutability.rs Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-repr-c.rs
union-repr-c.stderr
union-sized-field.rs
union-sized-field.stderr Modify structured suggestion output 2021-08-11 09:46:24 +00:00
union-suggest-field.mirunsafeck.stderr Modify structured suggestion output 2021-08-11 09:46:24 +00:00
union-suggest-field.rs Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-suggest-field.thirunsafeck.stderr Modify structured suggestion output 2021-08-11 09:46:24 +00:00
union-trait-impl.rs Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-transmute.rs Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-unsafe.mir.stderr Fix debugger stepping behavior around match expressions 2021-08-25 15:17:22 -04:00
union-unsafe.rs Implement AssignToDroppingUnionField in THIR unsafeck 2021-07-23 15:38:19 +02:00
union-unsafe.thir.stderr Introduce hir::ExprKind::Let - Take 2 2021-08-15 16:18:26 -03:00
union-unsized.mirunsafeck.stderr Modify structured suggestion output 2021-08-11 09:46:24 +00:00
union-unsized.rs Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-unsized.thirunsafeck.stderr Modify structured suggestion output 2021-08-11 09:46:24 +00:00
union-with-drop-fields.mirunsafeck.stderr feedback 2021-11-15 14:51:56 +11:00
union-with-drop-fields.rs Check for union field accesses in THIR unsafeck 2021-07-09 13:51:28 -04:00
union-with-drop-fields.thirunsafeck.stderr feedback 2021-11-15 14:51:56 +11:00