rust/tests/ui/associated-inherent-types
Oli Scherer dadece067e Let inherent associated types constrain opaque types during projection 2024-04-19 16:12:54 +00:00
..
auxiliary Move /src/test to /tests 2023-01-11 09:32:08 +00:00
bugs Mark some next-solver-behavior tests explicitly with revisions 2024-03-10 23:23:46 -04:00
ambiguity.rs Use InferCtxt::probe to properly detect ambiguous candidates 2023-02-19 18:35:35 +01:00
ambiguity.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
assoc-inherent-late-bound.rs [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives 2024-02-16 20:02:50 +00:00
assoc-inherent-no-body.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
assoc-inherent-no-body.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
assoc-inherent-private.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
assoc-inherent-private.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
assoc-inherent-unstable.rs [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives 2024-02-16 20:02:50 +00:00
assoc-inherent-unstable.stderr Bless tests 2024-01-13 12:46:58 -05:00
assoc-inherent-use.rs [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives 2024-02-16 20:02:50 +00:00
const-generics.rs [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives 2024-02-16 20:02:50 +00:00
constrain_opaque_types_during_projection.rs Let inherent associated types constrain opaque types during projection 2024-04-19 16:12:54 +00:00
dispatch-on-self-type-0.rs [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives 2024-02-16 20:02:50 +00:00
dispatch-on-self-type-1.rs [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives 2024-02-16 20:02:50 +00:00
dispatch-on-self-type-2.rs Type-directed probing for inherent associated types 2023-02-19 18:35:28 +01:00
dispatch-on-self-type-2.stderr Fix substitution bug 2023-02-19 18:35:35 +01:00
dont-select-if-disabled.rs Don't perform selection if IATs are not enabled 2023-07-03 14:33:38 +02:00
dont-select-if-disabled.stderr Bless tests 2024-01-13 12:46:58 -05:00
former-subst-ice.rs [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives 2024-02-16 20:02:50 +00:00
generic-associated-types-bad.item.stderr 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
generic-associated-types-bad.local.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
generic-associated-types-bad.region.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
generic-associated-types-bad.rs [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives 2024-02-16 20:02:50 +00:00
generic-const-exprs.rs [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives 2024-02-16 20:02:50 +00:00
inference-fail.rs IAT: Introduce AliasKind::Inherent 2023-05-04 16:59:10 +02:00
inference-fail.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
inference.rs Ignore tests w/ current/next revisions from compare-mode=next-solver 2024-03-10 21:18:41 -04:00
issue-104260.rs [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives 2024-02-16 20:02:50 +00:00
issue-109071.no_gate.stderr Merge collect_mod_item_types query into check_well_formed 2024-03-07 14:26:31 +00:00
issue-109071.rs [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives 2024-02-16 20:02:50 +00:00
issue-109071.with_gate.stderr Silence follow up errors if astconv already errored 2024-01-11 09:03:26 +00:00
issue-109299-1.rs Bless test fallout (duplicate diagnostics) 2024-03-20 13:00:34 -04:00
issue-109299-1.stderr Bless test fallout (duplicate diagnostics) 2024-03-20 13:00:34 -04:00
issue-109299.rs Continue compilation after check_mod_type_wf errors 2024-02-14 11:00:30 +00:00
issue-109299.stderr Continue compilation after check_mod_type_wf errors 2024-02-14 11:00:30 +00:00
issue-109768.rs [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives 2024-02-16 20:02:50 +00:00
issue-109768.stderr Bless tests 2024-01-13 12:46:58 -05:00
issue-109789.rs Continue compilation after check_mod_type_wf errors 2024-02-14 11:00:30 +00:00
issue-109789.stderr Continue compilation after check_mod_type_wf errors 2024-02-14 11:00:30 +00:00
issue-109790.rs [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives 2024-02-16 20:02:50 +00:00
issue-111404-0.rs [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives 2024-02-16 20:02:50 +00:00
issue-111404-1.rs Make infer higher ranked equate use bidirectional subtyping in invariant context 2024-02-29 15:27:56 -03:00
issue-111404-1.stderr Make infer higher ranked equate use bidirectional subtyping in invariant context 2024-02-29 15:27:56 -03:00
issue-111879-0.rs Handle inherent associated types fallout 2023-08-03 02:18:52 +02:00
issue-111879-0.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-111879-1.rs Add tests for pretty-printing inherent projections 2023-05-24 01:17:38 +02:00
issue-111879-1.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
late-bound-regions.rs Handle inherent associated types fallout 2023-08-03 02:18:52 +02:00
late-bound-regions.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
normalization-overflow.rs IAT: Introduce AliasKind::Inherent 2023-05-04 16:59:10 +02:00
normalization-overflow.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
normalize-projection-0.rs [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives 2024-02-16 20:02:50 +00:00
normalize-projection-1.rs [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives 2024-02-16 20:02:50 +00:00
not-found-self-type-differs-shadowing-trait-item.rs [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives 2024-02-16 20:02:50 +00:00
not-found-self-type-differs-shadowing-trait-item.shadowed.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
not-found-self-type-differs-shadowing-trait-item.uncovered.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
not-found-self-type-differs.rs Handle inherent associated types fallout 2023-08-03 02:18:52 +02:00
not-found-self-type-differs.stderr Handle inherent associated types fallout 2023-08-03 02:18:52 +02:00
not-found-unsatisfied-bounds-0.rs Use the correct ParamEnv 2023-02-19 18:35:34 +01:00
not-found-unsatisfied-bounds-0.stderr Use the correct ParamEnv 2023-02-19 18:35:34 +01:00
not-found-unsatisfied-bounds-1.rs Use the correct ParamEnv 2023-02-19 18:35:34 +01:00
not-found-unsatisfied-bounds-1.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
not-found-unsatisfied-bounds-in-multiple-impls.rs Collect fulfillment errors across impls 2023-02-19 22:54:08 +01:00
not-found-unsatisfied-bounds-in-multiple-impls.stderr Use only one label for multiple unsatisfied bounds on type (astconv) 2024-01-26 20:47:11 +00:00
private-in-public.rs [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives 2024-02-16 20:02:50 +00:00
private-in-public.stderr Replace old private-in-public diagnostic with type privacy lints 2023-08-02 13:40:28 +03:00
regionck-0.rs IAT: Introduce AliasKind::Inherent 2023-05-04 16:59:10 +02:00
regionck-0.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
regionck-1.rs IAT: Introduce AliasKind::Inherent 2023-05-04 16:59:10 +02:00
regionck-1.stderr remove trailing dots 2023-10-08 10:06:17 +00:00
regionck-2.rs Continue compilation after check_mod_type_wf errors 2024-02-14 11:00:30 +00:00
regionck-2.stderr Continue compilation after check_mod_type_wf errors 2024-02-14 11:00:30 +00:00
style.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
style.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
substitute-params-bad.rs Handle inherent associated types fallout 2023-08-03 02:18:52 +02:00
substitute-params-bad.stderr Fix substitution bug 2023-02-19 18:35:35 +01:00
substitute-params.rs [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives 2024-02-16 20:02:50 +00:00
type-alias-bounds-are-enforced.rs [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives 2024-02-16 20:02:50 +00:00
unsatisfied-bounds-inferred-type.rs IAT: Introduce AliasKind::Inherent 2023-05-04 16:59:10 +02:00
unsatisfied-bounds-inferred-type.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
unsatisfied-bounds-where-clause-on-assoc-ty.rs IAT: Introduce AliasKind::Inherent 2023-05-04 16:59:10 +02:00
unsatisfied-bounds-where-clause-on-assoc-ty.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
variance-computation-requires-equality.rs Don't grab variances if we're invariant 2024-03-01 18:11:45 +00:00
variance-computation-requires-equality.stderr Don't grab variances if we're invariant 2024-03-01 18:11:45 +00:00