about summary refs log tree commit diff
path: root/tests/ui/traits
AgeCommit message (Expand)AuthorLines
2023-12-21Rollup merge of #119154 - surechen:fix_119067, r=fmeaseMatthias Krüger-0/+22
2023-12-21Simple modification of diagnostic informationsurechen-0/+22
2023-12-20Rollup merge of #119071 - lcnr:overflowo, r=compiler-errorsMatthias Krüger-1/+34
2023-12-18Use alias-eq in structural normalizationMichael Goulet-19/+18
2023-12-18dont discard overflow from normalizes-to goalslcnr-1/+34
2023-12-17skip rpit constraint check if borrowck return type errorbohan-0/+19
2023-12-15Rollup merge of #118396 - compiler-errors:ast-lang-items, r=cjgillotJubilee-4/+19
2023-12-15Move type relations into submodule in rustc_inferMichael Goulet-8/+8
2023-12-15Collect lang items from ASTMichael Goulet-4/+19
2023-12-15Opportunistically resolve region var in canonicalizerMichael Goulet-0/+58
2023-12-14Unconditionally register alias-relate in projection goalMichael Goulet-2/+48
2023-12-14consistently use "next solver" instead of "new solver"lcnr-1/+1
2023-12-14update use of feature flagslcnr-132/+132
2023-12-13Tweak `short_ty_string` to reduce number of filesEsteban Küber-4/+4
2023-12-12refactor writeback: emit normalization errors with new solverlcnr-20/+27
2023-12-10Auto merge of #118692 - surechen:remove_unused_imports, r=petrochenkovbors-11/+0
2023-12-10remove redundant importssurechen-11/+0
2023-12-09add test for inductive cycle hangslcnr-4/+57
2023-12-08Rollup merge of #118730 - jyn514:cmp_refs, r=estebank,compiler-errorsMatthias Krüger-4/+4
2023-12-07recurse into refs when comparing tys for diagnosticsjyn-4/+4
2023-12-08add regression testslcnr-0/+43
2023-12-08implement and use `NormalizesTo`lcnr-11/+14
2023-12-06Rollup merge of #116496 - estebank:question-method-chain-context, r=compiler-...Matthias Krüger-0/+121
2023-12-05Reduce verbosity of errorEsteban Küber-27/+3
2023-12-05Detect incorrect `;` in `Option::ok_or_else` and `Result::map_err`Esteban Küber-7/+17
2023-12-05Point at fewer methods in the chain, only those that change the E typeEsteban Küber-24/+17
2023-12-05Provide context when `?` can't be called because of `Result<_, E>`Esteban Küber-0/+142
2023-12-05Add print_trait_sugaredMichael Goulet-2/+2
2023-12-04rebaselcnr-2/+2
2023-12-04cleanup and commentslcnr-0/+46
2023-12-04generalize: handle occurs check failure in aliaseslcnr-10/+4
2023-12-01Handle recursion limit for subtype and well-formed predicatesMatthew Jasper-0/+75
2023-11-24Show number in error message even for one errorNilstrieb-180/+180
2023-11-22Rework supertrait lint once againMichael Goulet-3/+88
2023-11-22Stabilize RFC3324 dyn upcasting coercionUrgau-183/+78
2023-11-20Rollup merge of #118089 - lcnr:intercrate-ambig-msg, r=compiler-errorsMatthias Krüger-3/+2
2023-11-20Rollup merge of #118026 - compiler-errors:deref-into-dyn-regions, r=lcnrMatthias Krüger-8/+95
2023-11-20Rollup merge of #117835 - Nilstrieb:note-object-lifetime-defaults, r=compiler...Matthias Krüger-0/+35
2023-11-20Bump future release warning modeMichael Goulet-4/+4
2023-11-20Don't consider regions in deref_into_dyn_supertrait lintMichael Goulet-6/+93
2023-11-20handle reservation impls, track impl sourcelcnr-0/+2
2023-11-20self ty infer ambiguity: add proof tree candlcnr-3/+0
2023-11-19Make regionck care about placeholders in outlives componentsMichael Goulet-3/+91
2023-11-17Auto merge of #117278 - lcnr:try-normalize-ty, r=compiler-errorsbors-5/+32
2023-11-12Note about object lifetime defaults in does not live long enough errorNilstrieb-0/+35
2023-11-09update overflow handling for norm, add testlcnr-0/+22
2023-11-09update testslcnr-5/+10
2023-11-08Only use normalize_param_env when normalizing predicate in check_item_boundsMichael Goulet-6/+20
2023-11-06Don't instantiate the binder twice when assembling object candidateMichael Goulet-0/+38
2023-11-06Only check predicates for late-bound non-lifetime vars in object candidate as...Michael Goulet-0/+19