about summary refs log tree commit diff
path: root/tests/ui/lazy-type-alias
AgeCommit message (Expand)AuthorLines
2025-07-17Rollup merge of #143793 - fmease:lta-opaq-inf-recur, r=oli-obkMatthias Krüger-0/+29
2025-07-11Opaque type collection: Guard against endlessly recursing free alias typesLeón Orell Valerian Liehr-0/+29
2025-07-10Properly track the depth when expanding free alias typesLeón Orell Valerian Liehr-0/+20
2025-06-30Move lazy type alias checks to non-hir-wfckOli Scherer-62/+28
2025-06-30Check variances in the non-hir wfcheckerOli Scherer-17/+51
2025-06-07const-eval error: always say in which item the error occurredRalf Jung-1/+1
2025-06-02Clarify why we are talking about a failed const eval at a random placeOli Scherer-1/+1
2025-06-02Use the informative error as the main const eval error messageOli Scherer-7/+7
2025-05-05Deeply normalize in the new solver in WFMichael Goulet-10/+52
2025-04-24Remove `weak` alias terminologyBoxy-2/+2
2025-03-05change definitely non-productive cycles to errorlcnr-4/+5
2025-02-03LTA: Check where-clauses for well-formedness at the def siteLeón Orell Valerian Liehr-0/+65
2025-01-27Remove all dead files inside tests/ui/León Orell Valerian Liehr-43/+0
2024-12-07Use trait name instead of full constraint in suggestion messageEsteban Küber-1/+1
2024-12-07reword trait bound suggestion message to include the boundsEsteban Küber-1/+1
2024-11-21Stop being so bail-y in candidate assemblyMichael Goulet-0/+46
2024-09-22Don't call const normalize in error reportingMichael Goulet-1/+1
2024-07-19LTA: Diag: Detect bivariant ty params that are only used recursivelyLeón Orell Valerian Liehr-14/+13
2024-07-17Account for structs that have unused params in nested types in fieldsMichael Goulet-13/+14
2024-07-17Account for self ty aliasMichael Goulet-2/+2
2024-07-17Mention that type parameters are used recursivelyMichael Goulet-12/+15
2024-06-12Spell out other trait diagnosticAlex Macleod-6/+6
2024-03-27Use `TraitRef::to_string` sorting in favor of `TraitRef::ord`, as the latter ...Oli Scherer-4/+4
2024-03-11Remove some unnecessary allow(incomplete_features)Michael Goulet-3/+2
2024-03-10Ignore tests w/ current/next revisions from compare-mode=next-solverMichael Goulet-12/+57
2024-03-07Merge `check_mod_impl_wf` and `check_mod_type_wf`Oli Scherer-3/+12
2024-03-01Rollup merge of #121497 - lcnr:coherence-suggest-increasing-recursion-limit, ...Matthias Krüger-2/+0
2024-03-01If suggestion would leave an empty line, delete itclubby789-2/+0
2024-02-29Detect empty leading where-clauses on type aliasesLeón Orell Valerian Liehr-13/+67
2024-02-29distinguish recursion limit based overflow for diagnosticslcnr-2/+0
2024-02-22overflow errors: change source to a concrete enumlcnr-16/+20
2024-02-20Introduce expand_weak_alias_tysLeón Orell Valerian Liehr-2/+62
2024-02-18Auto merge of #120780 - fmease:lta-in-impls, r=oli-obkbors-0/+228
2024-02-17Properly check constrainedness of gen params in the presence of weak alias typesLeón Orell Valerian Liehr-0/+65
2024-02-17Support weak alias types as self type of inherent implsLeón Orell Valerian Liehr-0/+163
2024-02-16[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives许杰友 Jieyou Xu (Joe)-16/+16
2024-02-01Improve the diagnostics for unused generic parametersLeón Orell Valerian Liehr-0/+50
2023-12-28Imply outlives-bounds on lazy type aliasesLeón Orell Valerian Liehr-0/+73
2023-12-14update use of feature flagslcnr-1/+1
2023-11-24Show number in error message even for one errorNilstrieb-5/+5
2023-08-26Account for `Weak` alias kinds when adding more targetted obligationEsteban Küber-12/+15
2023-08-10Unlock trailing where-clauses for lazy type aliasesLeón Orell Valerian Liehr-0/+82
2023-08-08Rollup merge of #114594 - compiler-errors:new-solver-resolve-aliases, r=lcnrMatthias Krüger-0/+38
2023-08-07Resolve target type of coercionMichael Goulet-0/+38
2023-08-07Store the laziness of type aliases in the DefKindLeón Orell Valerian Liehr-0/+79
2023-08-03Compute variances for lazy type aliasesLeón Orell Valerian Liehr-0/+38
2023-07-30Check lazy type aliases for well-formednessLeón Orell Valerian Liehr-0/+65
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-10 10:12:38 +0000