about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2023-04-16Rollup merge of #110345 - nnethercote:rm-Super-impls-for-Region, r=compiler-e...fee1-dead-1/+1
2023-04-16Rollup merge of #109665 - fee1-dead-contrib:rm-remap-queries, r=oli-obkfee1-dead-7/+1
2023-04-16Various minor Idx-related tweaksScott McMurray-6/+7
2023-04-16Remove `TypeSuper{Foldable,Visitable}` impls for `Region`.Nicholas Nethercote-1/+1
2023-04-16Rollup merge of #110364 - matthiaskrgr:anti_clone, r=NilstriebYuki Okushi-6/+9
2023-04-16Rollup merge of #110272 - Ezrashaw:fix-unconned-lt-in-implbounds, r=aliemjayYuki Okushi-1/+12
2023-04-15remove redundant clonesMatthias Krüger-6/+9
2023-04-15Update compiler/rustc_trait_selection/src/traits/outlives_bounds.rsAli MJ Al-Nasrawy-2/+3
2023-04-14implement review suggestionsEzra Shaw-2/+3
2023-04-14Rollup merge of #110299 - kylematsuda:earlybinder-impl-subject, r=compiler-er...Matthias Krüger-2/+2
2023-04-14Rollup merge of #110207 - compiler-errors:new-solver-unpin, r=lcnrMatthias Krüger-61/+102
2023-04-14Rollup merge of #110180 - lcnr:canonicalize, r=compiler-errorsMatthias Krüger-14/+11
2023-04-14Rollup merge of #109800 - bryangarza:safe-transmute-improved-errors, r=compil...Matthias Krüger-24/+104
2023-04-14Move auto trait built-in candidate disqualification to a separate methodMichael Goulet-77/+101
2023-04-14Assemble Unpin candidates specially for generators in new solverMichael Goulet-1/+18
2023-04-13Improve safe transmute error reportingBryan Garza-24/+104
2023-04-13make tcx.impl_subject return EarlyBinder, remove bound_impl_subject, rename u...Kyle Matsuda-2/+2
2023-04-13change usage of bound_impl_subject to impl_subjectKyle Matsuda-1/+1
2023-04-13Rollup merge of #110193 - compiler-errors:body-owner-issue, r=WaffleLapkinMatthias Krüger-1/+1
2023-04-13Rollup merge of #110220 - lcnr:regionzz, r=compiler-errorsMatthias Krüger-9/+27
2023-04-13fix: skip implied bounds if unconstrained lifetime existsEzra Shaw-1/+10
2023-04-13Remove some unused type folders.Nicholas Nethercote-21/+0
2023-04-12Auto merge of #110252 - matthiaskrgr:rollup-ovaixra, r=matthiaskrgrbors-10/+52
2023-04-12fix commentlcnr-1/+2
2023-04-12Rollup merge of #110103 - compiler-errors:new-solver-overflows, r=lcnrMatthias Krüger-10/+52
2023-04-12Rollup merge of #110153 - DaniPopes:compiler-typos, r=NilstriebMatthias Krüger-8/+8
2023-04-12`#[must_use]` for fns returning a list of errorslcnr-1/+5
2023-04-12Auto merge of #107614 - compiler-errors:allow-elaborator-to-filter-only-super...bors-2/+5
2023-04-12region error cleanuplcnr-8/+21
2023-04-11Rollup merge of #110126 - compiler-errors:new-solver-safe-transmute, r=oli-obkMichael Goulet-0/+64
2023-04-11Allow the elaborator to only filter to real supertraitsMichael Goulet-1/+4
2023-04-11Split implied and super predicate queriesMichael Goulet-1/+1
2023-04-11Check for body owner falliblyMichael Goulet-1/+1
2023-04-11don't uniquify regions when canonicalizinglcnr-14/+11
2023-04-10Fix typos in compilerDaniPopes-8/+8
2023-04-10Report overflows gracefully with new solverMichael Goulet-10/+52
2023-04-10Support safe transmute in new solverMichael Goulet-0/+64
2023-04-10Stall auto-trait assembly for int/float vars in new solverMichael Goulet-24/+64
2023-04-10review + some small stufflcnr-10/+16
2023-04-10move `structural_traits` into `assembly`lcnr-11/+9
2023-04-10prioritize param-env candidateslcnr-78/+83
2023-04-09Auto merge of #109413 - compiler-errors:pointer-like-abi, r=cjgillotbors-10/+8
2023-04-09Auto merge of #110031 - compiler-errors:generic-elaboration, r=b-naberbors-21/+17
2023-04-08Enforce that PointerLike requires a pointer-like ABIMichael Goulet-10/+8
2023-04-08Remove `remap_env_constness` in queriesDeadbeef-7/+1
2023-04-07Switched provisional evaluation cache map to FxIndexMap, and replaced map.dra...Andrew Xie-15/+9
2023-04-06Remove u32 on BoundTyKind::AnonJack Huey-8/+6
2023-04-06Remove index from BrAnonJack Huey-3/+3
2023-04-06Remove expect_anon and expect_anon_placeholder in favor of varJack Huey-1/+1
2023-04-06Use BoundTy and BoundRegion instead of kind of PlaceholderTy and PlaceholderR...Jack Huey-7/+13