summary refs log tree commit diff
path: root/tests/ui/traits
AgeCommit message (Expand)AuthorLines
2023-03-11fix: evaluate with wrong obligation stackyifei-0/+45
2023-03-03Rollup merge of #108553 - compiler-errors:non-lt-late-bound-in-anon-ct, r=pet...Matthias Krüger-0/+38
2023-02-28Only look for param in generics if it actually comes from genericsMichael Goulet-0/+18
2023-02-28Deny capturing late-bound non-lifetime param in anon constMichael Goulet-0/+38
2023-02-27Rollup merge of #108522 - compiler-errors:new-solver-more-tests, r=jackh726Matthias Krüger-0/+28
2023-02-27Commit some new solver testsMichael Goulet-0/+28
2023-02-26Adapt issue-77982.stderr to new rustc errorLinus Färnstrand-1/+1
2023-02-26Auto merge of #108473 - matthiaskrgr:rollup-qjyae58, r=matthiaskrgrbors-1/+1
2023-02-26Rollup merge of #108456 - clubby789:ast-passes-diag-migrate, r=compiler-errorsMatthias Krüger-1/+1
2023-02-25Rollup merge of #108333 - compiler-errors:new-solver-object-sound, r=lcnrMichael Goulet-0/+102
2023-02-25Complete migrating `ast_passes` to derive diagnosticsclubby789-1/+1
2023-02-24Comments, another testMichael Goulet-0/+46
2023-02-24Make higher-ranked projections in object types work in new solverMichael Goulet-0/+17
2023-02-24Check object's supertrait and associated type bounds in new solverMichael Goulet-0/+39
2023-02-23diagnostics: remove inconsistent English article "this" from E0107Michael Howell-8/+8
2023-02-22diagnostics: update test cases to refer to assoc fn with `self` as methodMichael Howell-22/+22
2023-02-21Rollup merge of #108295 - compiler-errors:wtf-is-this, r=cjgillotMatthias Krüger-7/+7
2023-02-21Rollup merge of #108202 - compiler-errors:non_lifetime_binders-type-match-ice...Matthias Krüger-0/+25
2023-02-21Specify what 'this' actually isMichael Goulet-7/+7
2023-02-19Refine error span for trait error into borrowed expressionNathan Fenner-2/+2
2023-02-19Rollup merge of #108189 - compiler-errors:non_lifetime_binders-bound-stuff, r...Dylan DPC-0/+85
2023-02-18Make sure test_type_match doesn't ICE with late-bound typesMichael Goulet-0/+25
2023-02-18Pretty placeholders using their namesMichael Goulet-5/+7
2023-02-18Collapse placeholders to root universe in canonicalizer if not preserving uni...Michael Goulet-2/+44
2023-02-18Don't ICE on bound types in sized conditionsMichael Goulet-0/+41
2023-02-18Check that built-in callable types validate their output type is `Sized` (in ...Michael Goulet-0/+35
2023-02-18Adjust tracking issue for non_lifetime_bindersMichael Goulet-4/+4
2023-02-17Rollup merge of #108136 - eggyal:unmet_trait_alias_bound_on_generic_impl, r=c...Matthias Krüger-0/+40
2023-02-17Rollup merge of #107489 - compiler-errors:non_lifetime_binders, r=cjgillotMatthias Krüger-0/+156
2023-02-16Do not ICE on unmet trait alias impl boundsAlan Egerton-0/+40
2023-02-16Rollup merge of #108115 - eggyal:unmet_trait_alias_bound, r=compiler-errorsMatthias Krüger-0/+30
2023-02-16Do not ICE on unmet trait alias boundsAlan Egerton-0/+30
2023-02-16Remove save-analysis.Nicholas Nethercote-5/+1
2023-02-16Deny some late-bound ty/ct in some positions, add testsMichael Goulet-0/+156
2023-02-14Fetch less HIR in signature check.Camille GILLOT-1/+1
2023-02-14Auto merge of #103695 - LYF1999:yf/103563, r=lcnrbors-0/+75
2023-02-13Tighter spans for bad inherent impl typesMichael Goulet-5/+2
2023-02-13fix: Unexpected trait bound not satisfied in HRTByifei-0/+75
2023-02-11Auto merge of #107919 - Dylan-DPC:rollup-fkl9swa, r=Dylan-DPCbors-0/+71
2023-02-10Add a couple random projection testsMichael Goulet-0/+71
2023-02-10Add testsBoxy-0/+188
2023-02-10Multiple candidates with same response is not ambiguousMichael Goulet-12/+1
2023-02-09Rollup merge of #107815 - compiler-errors:new-solver-no-auto-if-impl, r=lcnrDylan DPC-0/+8
2023-02-09Rollup merge of #107803 - eggyal:do_not_bring_trait_alias_supertraits_into_sc...Dylan DPC-0/+21
2023-02-09Disqualify auto-trait builtin impl in new solver if impl existsMichael Goulet-0/+8
2023-02-09Implement a dummy drop-in-favor-of for the new solverMichael Goulet-9/+32
2023-02-09Use elaborated item bounds for alias typesMichael Goulet-0/+12
2023-02-08Do not assemble supertraits for trait aliasesAlan Egerton-0/+21
2023-02-08add (currently ICEing) testlcnr-0/+43
2023-02-07Rename PointerSized to PointerLikeMichael Goulet-36/+38