user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
rust/tests/ui/lazy-type-alias
History
Exact
Matthias Krüger f78cc42032
Rollup merge of #143793 - fmease:lta-opaq-inf-recur, r=oli-obk 
Opaque type collection: Guard against endlessly recursing free alias types

See test description for technical details.

Fixes https://github.com/rust-lang/rust/issues/131994.

r? oli-obk (sry, your queue is large, so no rush & feel free to reassign)
2025-07-17 10:41:45 +02:00
..
auxiliary Remove some unnecessary allow(incomplete_features) 2024-03-11 19:42:04 +00:00
bad-lazy-type-alias.rs Stop being so bail-y in candidate assembly 2024-11-21 01:35:34 +00:00
bad-lazy-type-alias.stderr Stop being so bail-y in candidate assembly 2024-11-21 01:35:34 +00:00
coerce-behind-lazy.current.stderr Ignore tests w/ current/next revisions from compare-mode=next-solver 2024-03-10 21:18:41 -04:00
coerce-behind-lazy.next.stderr Ignore tests w/ current/next revisions from compare-mode=next-solver 2024-03-10 21:18:41 -04:00
coerce-behind-lazy.rs Ignore tests w/ current/next revisions from compare-mode=next-solver 2024-03-10 21:18:41 -04:00
constrained-late-bound-regions.rs Introduce expand_weak_alias_tys 2024-02-20 17:31:49 +01:00
constrained-params-in-impl.rs Introduce expand_weak_alias_tys 2024-02-20 17:31:49 +01:00
deep-expansion.rs Properly track the depth when expanding free alias types 2025-07-10 19:49:32 +02:00
def-site-param-defaults-wf.rs Use the informative error as the main const eval error message 2025-06-02 15:37:15 +00:00
def-site-param-defaults-wf.stderr const-eval error: always say in which item the error occurred 2025-06-07 13:42:30 +02:00
def-site-predicates-wf.rs LTA: Check where-clauses for well-formedness at the def site 2025-02-03 03:43:14 +01:00
def-site-predicates-wf.stderr LTA: Check where-clauses for well-formedness at the def site 2025-02-03 03:43:14 +01:00
enum-variant.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
enum-variant.stderr Check lazy type aliases for well-formedness 2023-07-30 11:24:15 +02:00
extern-crate-has-eager-type-aliases.rs Remove weak alias terminology 2025-04-24 11:59:20 +01:00
extern-crate-has-lazy-type-aliases.locally_eager.stderr Remove some unnecessary allow(incomplete_features) 2024-03-11 19:42:04 +00:00
extern-crate-has-lazy-type-aliases.locally_lazy.stderr Remove some unnecessary allow(incomplete_features) 2024-03-11 19:42:04 +00:00
extern-crate-has-lazy-type-aliases.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
implied-outlives-bounds.neg.stderr Imply outlives-bounds on lazy type aliases 2023-12-28 02:03:43 +01:00
implied-outlives-bounds.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
inherent-impls-conflicting.rs Support weak alias types as self type of inherent impls 2024-02-17 08:38:59 +01:00
inherent-impls-conflicting.stderr Support weak alias types as self type of inherent impls 2024-02-17 08:38:59 +01:00
inherent-impls-not-nominal.rs Support weak alias types as self type of inherent impls 2024-02-17 08:38:59 +01:00
inherent-impls-not-nominal.stderr Support weak alias types as self type of inherent impls 2024-02-17 08:38:59 +01:00
inherent-impls-overflow.current.stderr Move lazy type alias checks to non-hir-wfck 2025-06-30 08:45:43 +00:00
inherent-impls-overflow.next.stderr Move lazy type alias checks to non-hir-wfck 2025-06-30 08:45:43 +00:00
inherent-impls-overflow.rs Move lazy type alias checks to non-hir-wfck 2025-06-30 08:45:43 +00:00
inherent-impls.rs Support weak alias types as self type of inherent impls 2024-02-17 08:38:59 +01:00
leading-where-clause.fixed If suggestion would leave an empty line, delete it 2024-03-01 13:48:20 +00:00
leading-where-clause.rs Detect empty leading where-clauses on type aliases 2024-02-29 17:20:04 +01:00
leading-where-clause.stderr Detect empty leading where-clauses on type aliases 2024-02-29 17:20:04 +01:00
opaq-ty-collection-infinite-recur.rs Opaque type collection: Guard against endlessly recursing free alias types 2025-07-11 15:56:57 +02:00
opaq-ty-collection-infinite-recur.stderr Opaque type collection: Guard against endlessly recursing free alias types 2025-07-11 15:56:57 +02:00
trailing-where-clause.rs Unlock trailing where-clauses for lazy type aliases 2023-08-10 16:13:08 +02:00
trailing-where-clause.stderr Don't call const normalize in error reporting 2024-09-22 13:55:06 -04:00
type-alias-bounds-are-enforced.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unconstrained-late-bound-regions.rs Introduce expand_weak_alias_tys 2024-02-20 17:31:49 +01:00
unconstrained-late-bound-regions.stderr Introduce expand_weak_alias_tys 2024-02-20 17:31:49 +01:00
unconstrained-params-in-impl-due-to-overflow.rs Move lazy type alias checks to non-hir-wfck 2025-06-30 08:45:43 +00:00
unconstrained-params-in-impl-due-to-overflow.stderr Move lazy type alias checks to non-hir-wfck 2025-06-30 08:45:43 +00:00
unconstrained-params-in-impl.rs Introduce expand_weak_alias_tys 2024-02-20 17:31:49 +01:00
unconstrained-params-in-impl.stderr Introduce expand_weak_alias_tys 2024-02-20 17:31:49 +01:00
unsatisfied-bounds-type-alias-body.rs Check lazy type aliases for well-formedness 2023-07-30 11:24:15 +02:00
unsatisfied-bounds-type-alias-body.stderr Use trait name instead of full constraint in suggestion message 2024-12-07 21:29:58 +00:00
unused-generic-parameters.rs Improve the diagnostics for unused generic parameters 2024-02-01 16:18:03 +01:00
unused-generic-parameters.stderr Improve the diagnostics for unused generic parameters 2024-02-01 16:18:03 +01:00
variance.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00