about summary refs log tree commit diff
path: root/tests/ui/traits/negative-bounds
AgeCommit message (Expand)AuthorLines
2025-08-22On E0277, point at type that doesn't implement boundEsteban Küber-3/+19
2025-08-17Do not consider a `T: !Sized` candidate to satisfy a `T: !MetaSized` obligation.Zachary S-0/+99
2025-07-02Consider polarity in sizedness fast pathMichael Goulet-0/+23
2025-06-09Apply nested goals certainty to InspectGoals for normalizes-toMichael Goulet-15/+14
2025-02-03Check Sizedness of return type in WFMichael Goulet-15/+26
2024-11-26do not constrain infer vars in `find_best_leaf_obligation`lcnr-60/+4
2024-11-18Add reference annotations for diagnostic attributesEric Huss-1/+3
2024-11-02Account for negative bounds in E0277 note and suggestionEsteban Küber-18/+0
2024-11-02Add trait diff highlighting logic and use it in E0277Esteban Küber-1/+2
2024-10-15Bless testsMichael Goulet-60/+36
2024-10-15Register a dummy candidate for failed structural normalization during candiat...Michael Goulet-48/+8
2024-10-15Be better at reporting alias errorsMichael Goulet-41/+74
2024-10-15Make sure the alias is actually rigidMichael Goulet-7/+83
2024-10-14Don't report on_unimplemented for negative traitsMichael Goulet-0/+30
2024-06-12Walk into alias-eq nested goals even if normalization failsMichael Goulet-1/+11
2024-03-08Stabilize associated type boundsMichael Goulet-1/+1
2024-03-02Rollup merge of #121875 - estebank:e0277-drive-by, r=compiler-errorsMatthias Krüger-4/+4
2024-03-02Account for unmet `T: !Copy` in E0277 messageEsteban Küber-4/+4
2024-03-01Get rid of some sub_exp and eq_expMichael Goulet-8/+8
2024-02-16[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives许杰友 Jieyou Xu (Joe)-3/+3
2024-01-11Remove special-casing around aliaskind in new solverMichael Goulet-59/+10
2023-12-28rustc_middle: Pretty-print negative bounds correctlyLeón Orell Valerian Liehr-0/+122
2023-12-28Deny parenthetical notation for negative boundsLeón Orell Valerian Liehr-1/+11
2023-12-28Make feature `negative_bounds` internalLeón Orell Valerian Liehr-44/+14
2023-05-04Don't compute trait super bounds unless they're positiveMichael Goulet-0/+19
2023-05-02Make negative trait bounds work with the old trait solverMichael Goulet-14/+2
2023-05-02Disallow associated type constraints on negative boundsMichael Goulet-0/+54
2023-05-02Implement negative boundsMichael Goulet-0/+124
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 17:58:56 +0000