about summary refs log tree commit diff
path: root/tests/ui/associated-inherent-types
AgeCommit message (Expand)AuthorLines
2025-09-18internal constraints are better than placeholder outliveslcnr-0/+51
2025-08-22Region inference: Use outlives-static constraints in constraint searchAmanda Stjerna-4/+2
2025-06-30Avoid looking at HIR for trait and impl itemsOli Scherer-10/+11
2025-06-24Make missing lifetime suggestion verboseMichael Goulet-3/+6
2025-06-18ReviewsBoxy-7/+13
2025-06-17Dont replace escaping bound vars in item sigsBoxy-61/+15
2025-06-17Test whether we use DeepRejectCtxtBoxy-0/+54
2025-06-17Don't build `ParamEnv` and do trait solving in `ItemCtxt`sBoxy-99/+336
2025-06-05Move opaque type checks from the hir item types visitor onto the wfcheck of t...Oli Scherer-8/+8
2025-05-06Preserve generic args in suggestions for ambiguous associated itemsLeón Orell Valerian Liehr-1/+7
2025-05-05Deeply normalize in the new solver in WFMichael Goulet-16/+2
2025-04-08UI tests: add missing diagnostic kinds where possibleVadim Petrochenkov-2/+2
2025-03-11Implement `#[define_opaque]` attribute for functions.Oli Scherer-2/+3
2025-03-05Rollup merge of #137633 - compiler-errors:no-implied-bounds-hack-unless-bevy,...许杰友 Jieyou Xu (Joe)-2/+20
2025-03-04Only use implied bounds hack if bevy, and use deeply normalize in implied bou...Michael Goulet-2/+20
2025-03-04mgca: Lower all const paths as `ConstArgKind::Path`Noah Lev-9/+9
2025-02-21More sophisticated span trimmingMichael Goulet-3/+2
2025-02-10Show diff suggestion format on verbose replacementEsteban Küber-8/+12
2025-01-31Manually walk into WF obligations in BestObligation proof tree visitorMichael Goulet-0/+2
2024-12-27Spruce up the docs of several queries related to the type/trait system and co...León Orell Valerian Liehr-2/+2
2024-11-03use backticks instead of single quotes when reporting "use of unstable librar...dianne-2/+2
2024-08-24Get rid of predicates_defined_onMichael Goulet-10/+0
2024-07-23Improve the impl and diag output of lint type_alias_boundsLeón Orell Valerian Liehr-8/+9
2024-07-23Don't suppress lint type_alias_bounds for ty aliases containing inherent asso...León Orell Valerian Liehr-20/+44
2024-07-14Use ordinal number in argument errorlong-long-float-1/+1
2024-06-12Rollup merge of #125978 - fmease:cleanup-hir-ty-lowering-consolidate-assoc-it...Jubilee-2/+2
2024-06-04Cleanup: HIR ty lowering: Consolidate assoc item access checkingLeón Orell Valerian Liehr-2/+2
2024-05-29Stop proving outlives constraints on regions we already reported errors onOli Scherer-11/+1
2024-05-28Allow type_of to return partially non-error types if the type was already tai...Oli Scherer-16/+3
2024-05-16Report better WF obligation leaf obligations in new solverMichael Goulet-4/+7
2024-04-19Let inherent associated types constrain opaque types during projectionOli Scherer-0/+18
2024-03-20Bless test fallout (duplicate diagnostics)Michael Goulet-3/+18
2024-03-10Mark some next-solver-behavior tests explicitly with revisionsMichael Goulet-4/+15
2024-03-10Ignore tests w/ current/next revisions from compare-mode=next-solverMichael Goulet-0/+1
2024-03-07Merge collect_mod_item_types query into check_well_formedOli Scherer-33/+31
2024-03-01Don't grab variances if we're invariantMichael Goulet-0/+31
2024-02-29Make infer higher ranked equate use bidirectional subtyping in invariant contextSantiago Pastorino-2/+24
2024-02-16[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives许杰友 Jieyou Xu (Joe)-29/+29
2024-02-14Continue compilation after check_mod_type_wf errorsOli Scherer-3/+39
2024-01-26Use only one label for multiple unsatisfied bounds on type (astconv)Esteban Küber-4/+1
2024-01-19use implied bounds compat mode in MIR borrowcklcnr-10/+1
2024-01-17Don't use compat versions of implied bounds in ImpliedOutlivesBounds queryJack Huey-1/+10
2024-01-13Bless testsGeorge-lewis-0/+4
2024-01-11Silence follow up errors if astconv already erroredOli Scherer-15/+14
2024-01-09Avoid silencing relevant follow-up errorsOli Scherer-11/+51
2023-12-22Update test outputsEric Holk-1/+8
2023-12-14update use of feature flagslcnr-1/+1
2023-11-25Get rid of infer vars in inherent assoc types selection by using probeSantiago Pastorino-0/+14
2023-11-25Do not erase late bound regions, replace them with placeholdersSantiago Pastorino-1/+10
2023-11-24Show number in error message even for one errorNilstrieb-24/+24
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-10 10:20:12 +0000