about summary refs log tree commit diff
path: root/tests/ui/traits
AgeCommit message (Expand)AuthorLines
2023-03-29Don't ICE on placeholder consts in deep rejectMichael Goulet-0/+37
2023-03-29Do not consider elaborated projection predicates for objects in new solverMichael Goulet-6/+21
2023-03-28Check for overflow in assemble_candidates_after_normalizing_self_tyMichael Goulet-0/+52
2023-03-26transmute testMichael Goulet-0/+61
2023-03-25Still-further-specializable projections are ambiguousMichael Goulet-0/+47
2023-03-24Rollup merge of #109495 - compiler-errors:new-solver-destruct, r=eholk,lcnrMatthias Krüger-0/+14
2023-03-23Return nested obligations from canonical response var unificationMichael Goulet-0/+40
2023-03-23Auto merge of #109517 - matthiaskrgr:rollup-m3orqzd, r=matthiaskrgrbors-0/+34
2023-03-23Include relation direction in AliasEq predicateMichael Goulet-0/+34
2023-03-22Rollup merge of #109447 - lcnr:coherence, r=compiler-errorsMatthias Krüger-4/+95
2023-03-22Drive-by: Add -Ztrait-solver=next to canonical int var testMichael Goulet-0/+1
2023-03-22Implement non-const Destruct trait in new solverMichael Goulet-0/+13
2023-03-22Auto merge of #109119 - lcnr:trait-system-cleanup, r=compiler-errorsbors-18/+11
2023-03-21Rollup merge of #109441 - oli-obk:fn_trait_new_solver, r=compiler-errorsMatthias Krüger-1/+144
2023-03-21new solver cleanup + coherencelcnr-4/+95
2023-03-21Also check function items' signatures for Fn* trait compatibilityOli Scherer-3/+67
2023-03-21Only implement Fn* traits for extern "Rust" safe function pointers.Oli Scherer-1/+80
2023-03-21evaluate: improve and fix recursion depth handlinglcnr-18/+11
2023-03-20Enforce non-lifetime-binders in supertrait preds are not object safeMichael Goulet-0/+80
2023-03-17Erase escaping late-bound regions when probing for ambiguous associated typesMichael Goulet-0/+29
2023-03-14Rollup merge of #109105 - compiler-errors:late-ct-in-anon-ct, r=oli-obkMatthias Krüger-0/+30
2023-03-13Don't ICE for late-bound consts across AnonConstBoundaryMichael Goulet-0/+30
2023-03-13Add a test that used to take forever to compileMichael Goulet-0/+43
2023-03-13Treat projections with infer as placeholder during fast reject in new solverMichael Goulet-0/+24
2023-03-11Commit some tests for the new solver + lazy normMichael Goulet-0/+216
2023-03-10Rollup merge of #108930 - Ezrashaw:better-error-for-manual-fn-impl, r=petroch...Matthias Krüger-0/+6
2023-03-10feat: implement better error for manual impl of `Fn*` traitsEzra Shaw-0/+6
2023-03-09Fix canonicalizer bug for int/float vars tooMichael Goulet-0/+21
2023-03-09Emit alias-eq when equating numeric var and projectionMichael Goulet-0/+18
2023-03-09Auto merge of #108920 - matthiaskrgr:rollup-qrr9a0u, r=matthiaskrgrbors-0/+45
2023-03-08Rollup merge of #108839 - compiler-errors:canonicalize-the-root-var, r=lcnrMatthias Krüger-0/+45
2023-03-08Rollup merge of #108901 - LYF1999:yf/108897, r=lcnrMatthias Krüger-0/+45
2023-03-08Rollup merge of #108884 - compiler-errors:tweak-illegal-copy-impl-message, r=...Matthias Krüger-6/+6
2023-03-08Auto merge of #108121 - aliemjay:resolve-var-region, r=lcnrbors-13/+7
2023-03-08fix: evaluate with wrong obligation stackyifei-0/+45
2023-03-08may not => cannotMichael Goulet-6/+6
2023-03-07Canonicalize the ROOT VARMichael Goulet-0/+45
2023-03-07Instantiate instead of erasing binder when probing param methodsMichael Goulet-0/+27
2023-03-05Rollup merge of #108744 - compiler-errors:non_lifetime_binders-bad-copy-clone...Matthias Krüger-0/+33
2023-03-05oops! new unsoundnessAli MJ Al-Nasrawy-13/+7
2023-03-04Don't ICE when encountering bound var in builtin copy/clone boundsMichael Goulet-0/+33
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-10 05:38:09 +0000