about summary refs log tree commit diff
path: root/tests/ui/traits
AgeCommit message (Expand)AuthorLines
2023-04-02Move some UI tests into subdirectoriesjyn-0/+124
2023-03-30Auto merge of #109791 - compiler-errors:rollup-c3o710k, r=compiler-errorsbors-0/+11
2023-03-30Rollup merge of #109739 - compiler-errors:new-solver-closure-fnonce, r=lcnrMichael Goulet-0/+11
2023-03-30Auto merge of #109740 - compiler-errors:new-solver-deep-reject-placeholder-co...bors-0/+37
2023-03-30Closures always implement FnOnce in new solverMichael Goulet-0/+11
2023-03-30Rollup merge of #109749 - compiler-errors:new-solver-float-var, r=lcnrYuki Okushi-0/+8
2023-03-30Rollup merge of #109748 - compiler-errors:new-solver-discr-kind-ice, r=lcnrYuki Okushi-10/+51
2023-03-30canonicalize float var as float in new solverMichael Goulet-0/+8
2023-03-30Check pointee metadata correctly in ui testMichael Goulet-10/+8
2023-03-30Don't ICE on DiscriminantKind projection in new solverMichael Goulet-0/+43
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-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