about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
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
2024-11-28uplift fold_regions to rustc_type_irlcnr-1/+2
2024-11-27Auto merge of #133393 - compiler-errors:dyn-tweaks, r=lcnr,spastorinobors-29/+7
2024-11-26Rollup merge of #133471 - lcnr:uwu-gamer, r=BoxyUwUMichael Goulet-18/+25
2024-11-25fix gce typing_mode mismatchlcnr-18/+25
2024-11-25Simplify object_region_boundsMichael Goulet-29/+7
2024-11-25Refactor `where` predicates, and reserve for attributes supportFrank King-2/+2
2024-11-23Auto merge of #133242 - lcnr:questionable-uwu, r=compiler-errors,BoxyUwUbors-68/+75
2024-11-23global old solver cache: use `TypingEnv`lcnr-20/+41
2024-11-23remove remaining references to `Reveal`lcnr-6/+6
2024-11-23no more Reveal :(lcnr-42/+28
2024-11-23Rollup merge of #133366 - compiler-errors:expected-found, r=dtolnay许杰友 Jieyou Xu (Joe)-7/+10
2024-11-23Remove unnecessary bool from ExpectedFoundMichael Goulet-7/+10
2024-11-22Rollup merge of #132090 - compiler-errors:baily, r=lcnrMichael Goulet-32/+0
2024-11-22Rollup merge of #133323 - compiler-errors:bail-if-self-var, r=lcnr许杰友 Jieyou Xu (Joe)-0/+5
2024-11-22Bail in effects in old solver if self ty is ty varMichael Goulet-0/+5
2024-11-22Simplify fulfill_implicationMichael Goulet-124/+102