about summary refs log tree commit diff
path: root/tests/ui/coherence/occurs-check
AgeCommit message (Expand)AuthorLines
2025-07-04Remove Symbol for Named LateParam/Bound variantsMichael Goulet-4/+4
2025-03-11Implement `#[define_opaque]` attribute for functions.Oli Scherer-18/+17
2025-01-15avoid running the overlap check twicelcnr-4/+0
2024-10-15remove unnecessary revisionslcnr-7/+9
2024-10-15stabilize `-Znext-solver=coherence`lcnr-13/+18
2024-09-27Rollup merge of #130718 - jackh726:known-bug-cleanup, r=compiler-errorsMatthias Krüger-1/+1
2024-09-27Cleanup some known-bug issuesJack Huey-1/+1
2024-09-27On implicit `Sized` bound on fn argument, point at type instead of patternEsteban Küber-2/+2
2024-09-11Revert 'Stabilize -Znext-solver=coherence'Michael Goulet-23/+16
2024-09-05remove unnecessary revisionslcnr-7/+9
2024-09-05stabilize `-Znext-solver=coherence`lcnr-13/+18
2024-07-12rustc_type_ir: derivative -> derive-wherePavel Grigorenko-12/+12
2024-06-19rustc_type_ir: Omit some struct fields from Debug outputLeón Orell Valerian Liehr-12/+12
2024-06-12better error message for normalizes-to ambiguitiesMichael Goulet-3/+3
2024-06-12Walk into alias-eq nested goals even if normalization failsMichael Goulet-2/+2
2024-06-11Remove DebugWithInfcxMichael Goulet-12/+12
2024-05-30update UI testslcnr-12/+12
2024-05-28eagerly normalize when adding goalslcnr-1/+1
2024-05-02Use a proof tree visitor to refine the Obligation for error reportingMichael Goulet-1/+1
2024-03-18update region debug formattingBoxy-12/+12
2024-02-26update testslcnr-7/+3
2024-02-20some type system cleanuplcnr-16/+16
2024-02-19Auto merge of #121211 - lcnr:nll-relate-handle-infer, r=BoxyUwUbors-8/+8
2024-02-17move ty var instantiation into the generalize modulelcnr-8/+8
2024-02-16[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives许杰友 Jieyou Xu (Joe)-6/+6
2024-02-14Continue compilation after check_mod_type_wf errorsOli Scherer-2/+10
2024-02-05Stop bailing out from compilation just because there were incoherent traitsOli Scherer-3/+11
2023-12-15Add higher_ranked to relate submoduleMichael Goulet-8/+8
2023-12-15Move type relations into submodule in rustc_inferMichael Goulet-8/+8
2023-12-14update use of feature flagslcnr-2/+2
2023-12-04rebaselcnr-11/+11
2023-12-04cleanup and commentslcnr-0/+144
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-11 19:01:51 +0000