about summary refs log tree commit diff
path: root/tests/ui/traits/next-solver/generalize
AgeCommit message (Expand)AuthorLines
2024-12-18resolve FIXMElcnr-5/+0
2024-06-05bivariant alias: set `has_unconstrained_ty_var`lcnr-0/+20
2024-05-07generalize hr alias: avoid unconstrainable infer varslcnr-0/+120
2024-03-18move testslcnr-0/+31
2024-02-26update testslcnr-44/+51
2024-02-19Auto merge of #121211 - lcnr:nll-relate-handle-infer, r=BoxyUwUbors-2/+2
2024-02-17move ty var instantiation into the generalize modulelcnr-2/+2
2024-02-16[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives许杰友 Jieyou Xu (Joe)-8/+8
2024-02-09hide impls if trait bound is proven from envlcnr-5/+3
2023-12-14Unconditionally register alias-relate in projection goalMichael Goulet-2/+12
2023-12-14consistently use "next solver" instead of "new solver"lcnr-0/+206