summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
2025-01-23add cache to `AmbiguityCausesVisitor`lcnr-2/+12
2025-01-23avoid running the overlap check twicelcnr-22/+33
2024-12-31Make sure we check the future type is Sized in AsyncFn*Michael Goulet-3/+20
2024-12-27Rollup merge of #134827 - compiler-errors:borrowck-nits, r=lqdDavid Tolnay-2/+1
2024-12-27Rollup merge of #134823 - chloefeal:fix, r=tgross35,dtolnayDavid Tolnay-1/+1
2024-12-27Fix typoschloefeal-1/+1
2024-12-26Make ty::Error implement auto traitsMichael Goulet-1/+3
2024-12-26nit: Remove redundant functionMichael Goulet-2/+1
2024-12-24Auto merge of #134716 - Zalathar:rollup-1h4q8cc, r=Zalatharbors-28/+137
2024-12-24Rollup merge of #134638 - compiler-errors:fx-item-bounds, r=lcnrStuart Cook-28/+137
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-3/+32
2024-12-22Rollup merge of #134639 - compiler-errors:negative-ambiguity-causes, r=oli-obkMatthias Krüger-9/+13
2024-12-22Make sure we note ambiguity causes on positive/negative impl conflictsMichael Goulet-9/+13
2024-12-22Fix item bounds in old solverMichael Goulet-28/+137
2024-12-21Auto merge of #134501 - lcnr:member-constraints-yeet, r=oli-obkbors-13/+5
2024-12-20remove non-borrowck member constraintslcnr-13/+5
2024-12-18chore: fix some typosacceptacross-1/+1
2024-12-18Auto merge of #134243 - nnethercote:re-export-more-rustc_span, r=jieyouxubors-5/+3
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-5/+3
2024-12-17Rollup merge of #133265 - the8472:extract-if-ranges, r=cuviperMatthias Krüger-1/+1
2024-12-17consistently handle global where-boundslcnr-305/+241
2024-12-16update uses of extract_if in the compilerThe 8472-1/+1
2024-12-15Rollup merge of #134285 - oli-obk:push-vwrqsqlwnuxo, r=UrgauStuart Cook-1/+1
2024-12-14Add some convenience helper methods on `hir::Safety`Oli Scherer-1/+1
2024-12-14(Re-)Implement impl_trait_in_bindingsMichael Goulet-0/+6
2024-12-14Split UserTypeAnnotation to have a kindMichael Goulet-4/+4
2024-12-13Auto merge of #134122 - oli-obk:push-zqnyznxtpnll, r=petrochenkovbors-1/+3
2024-12-12Move impl constness into impl trait headerOli Scherer-1/+3
2024-12-12Rollup merge of #133122 - compiler-errors:afidt, r=oli-obkMatthias Krüger-12/+184
2024-12-11Rename projection_def_id to item_def_idMichael Goulet-3/+3
2024-12-10Don't check RPITITs that are Self:Sized for PointerLikeMichael Goulet-0/+5
2024-12-10Implement projection and shim for AFIDTMichael Goulet-1/+131
2024-12-10Add feature gate, not working yetMichael Goulet-11/+48
2024-12-07Make `Copy` unsafe to implement for ADTs with `unsafe` fieldsJack Wrenn-2/+10
2024-12-05do not implement unsafe auto traits for types with unsafe fieldsJack Wrenn-0/+9
2024-12-05Auto merge of #133893 - fmease:rollup-11pi6fg, r=fmeasebors-52/+2
2024-12-04No need to create placeholders for GAT args in confirm_object_candidateMichael Goulet-52/+2
2024-12-04Make sure to record deps from cached task in new solver on first runMichael Goulet-4/+1
2024-12-04Auto merge of #133818 - matthiaskrgr:rollup-iav1wq7, r=matthiaskrgrbors-30/+3
2024-12-03Remove generic_associated_types_extended feature gateMichael Goulet-30/+3
2024-12-03Rollup merge of #133545 - clubby789:symbol-intern-lit, r=jieyouxuMatthias Krüger-2/+1
2024-12-03Rollup merge of #133517 - compiler-errors:deep-norm, r=lcnrMatthias Krüger-4/+21
2024-12-02Assert that obligations are empty before deeply normalizingMichael Goulet-0/+16
2024-12-02Deeply normalize when computing implied outlives boundsMichael Goulet-4/+5
2024-12-02Fix const specializationMichael Goulet-5/+17
2024-12-02Reimplement specialization for const traitsMichael Goulet-18/+112
2024-12-02Auto merge of #133626 - lcnr:fix-diesel, r=BoxyUwUbors-6/+11
2024-11-29check local cache even if global is usablelcnr-6/+11
2024-11-28Replace `Symbol::intern` calls with preinterned symbolsclubby789-2/+1
2024-11-28support revealing defined opaque post borrowcklcnr-11/+20