summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/auto_trait.rs
AgeCommit message (Expand)AuthorLines
2023-05-25Pull out logic from #111131, plus some new logic in EvalCtxt::normalize_opaqu...Michael Goulet-2/+4
2023-05-15Suppress "erroneous constant used" for constants tainted by errorsTomasz Miąsko-1/+1
2023-04-25Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle-2/+2
2023-04-21Break up long function in trait selection error reportingBryan Garza-1/+1
2023-04-20Remove WithOptconstParam.Camille GILLOT-2/+1
2023-04-13Rollup merge of #110220 - lcnr:regionzz, r=compiler-errorsMatthias Krüger-1/+2
2023-04-13Remove some unused type folders.Nicholas Nethercote-21/+0
2023-04-12region error cleanuplcnr-1/+2
2023-04-06Make elaborator genericMichael Goulet-5/+3
2023-03-26Don't elaborate non-obligations into obligationsMichael Goulet-2/+1
2023-03-23Rename AliasEq -> AliasRelateMichael Goulet-1/+1
2023-03-21remove some trait solver helperslcnr-2/+3
2023-03-15always make `define_opaque_types` explicitlcnr-1/+2
2023-02-24Rename many interner functions.Nicholas Nethercote-2/+2
2023-02-22Remove type-traversal trait aliasesAlan Egerton-3/+2
2023-02-17Add `Clause::ConstArgHasType` variantBoxy-0/+1
2023-02-13Rename folder traits' `tcx` method to `interner`Alan Egerton-1/+1
2023-02-13Make folding traits generic over the InternerAlan Egerton-1/+1
2023-02-13Workaround issue #107747Alan Egerton-0/+1
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-1/+1
2023-02-10add `AliasEq` to `PredicateKind`Boxy-0/+3
2022-12-18remove redundant fn params that were only "used" in recursionMatthias Krüger-6/+1
2022-12-13Combine projection and opaque into aliasMichael Goulet-2/+2
2022-11-28Remove `Const::from_value`Maybe Waffle-3/+1
2022-11-28Rollup merge of #104907 - compiler-errors:selcx-infcx, r=oli-obkDylan DPC-18/+13
2022-11-27Prefer doc comments over `//`-comments in compilerMaybe Waffle-1/+1
2022-11-25Remove SelectionContext::infcx() in favor of field accessMichael Goulet-18/+13
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-6/+8
2022-11-25get rid of to_poly_trait_predicateOli Scherer-8/+11
2022-11-22Rollup merge of #103488 - oli-obk:impl_trait_for_tait, r=lcnrManish Goregaokar-0/+1
2022-11-21Stop passing the self-type as a separate argument.Oli Scherer-2/+2
2022-11-21Allow iterators instead of requiring slices that will get turned into iteratorsOli Scherer-2/+2
2022-11-21Assert that various types have the right amount of generic args and fix the s...Oli Scherer-5/+3
2022-11-21Add an always-ambiguous predicate to make sure that we don't accidentlally al...Oli Scherer-0/+1
2022-11-16Convert predicates into Predicate in the Obligation constructorOli Scherer-5/+16
2022-11-08Reduce the scope of allow(rustc::potential_query_instability) in rustc_trait_...CastilloDel-6/+6
2022-10-10Fix compiler docsGuillaume Gomez-4/+4
2022-10-07Change InferCtxtBuilder from enter to buildCameron Steffen-129/+91
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-2/+2
2022-09-22introduce mir::Unevaluatedb-naber-1/+1
2022-09-13rebaseb-naber-1/+1
2022-09-05Pack `Term` in the same way as `GenericArg`.Nicholas Nethercote-2/+2
2022-09-01Porting 'compiler/rustc_trait_selection' to translatable diagnostics - Part 1Gabriel Bustamante-2/+6
2022-08-13avoid cloning and then iteratingKaDiWa-1/+1
2022-08-04Add `traits::fully_solve_obligation` that acts like `traits::fully_normalize`Michael Goulet-4/+2
2022-07-26Use TraitEngine in more places that don't specifically need FulfillmentCtxt::...Michael Goulet-1/+1
2022-07-21`region_outlives_predicate` no snapshotlcnr-3/+1
2022-07-06Update TypeVisitor pathsAlan Egerton-0/+1
2022-07-04implied bounds byebye nested hir idslcnr-9/+1
2022-06-27outside of borrowck, do not provide an implicit_region_boundlcnr-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-08 19:50:58 +0000