about summary refs log tree commit diff
path: root/src/librustc_trait_selection/traits
AgeCommit message (Expand)AuthorLines
2020-08-30mv compiler to compiler/mark-17545/+0
2020-08-24hir: consistent use and naming of lang itemsDavid Wood-17/+14
2020-08-22Use smaller def span for functionsAaron Hill-9/+10
2020-08-20Don't immediately error for cycles during normalizationMatthew Jasper-39/+68
2020-08-17rust_ast::ast => rustc_astUjjwal Sharma-1/+1
2020-08-16Auto merge of #75536 - estebank:e0255-suggestion, r=varkorbors-4/+8
2020-08-14Rollup merge of #75448 - lcnr:rn-as_local_hir_id, r=davidtwcoTyler Mandry-6/+7
2020-08-14Tweak output of E0225Esteban Küber-4/+8
2020-08-13Auto merge of #75443 - lcnr:opaque-normalize, r=nikomatsakisbors-9/+4
2020-08-13merge `as_local_hir_id` with `local_def_id_to_hir_id`Bastian Kauschke-6/+7
2020-08-12allow escaping bound vars when normalizing `ty::Opaque`Bastian Kauschke-9/+4
2020-08-12Auto merge of #75205 - Aaron1011:fix/auto-trait-proj-ice, r=nikomatsakisbors-0/+7
2020-08-08Auto merge of #74932 - nnethercote:rm-ast-session-globals, r=petrochenkovbors-3/+2
2020-08-08Eliminate the `SessionGlobals` from `librustc_ast`.Nicholas Nethercote-3/+2
2020-08-07fix clippy::single_char_pattern: use char instead of string single-char patternMatthias Krüger-1/+1
2020-08-06Fix typo "TraitObligatiom" -> "TraitObligation"Leijurv-1/+1
2020-08-05Handle projection predicates in the param env for auto-trait docsAaron Hill-0/+7
2020-08-04rustc_ast: `(Nested)MetaItem::check_name` -> `has_name`Vadim Petrochenkov-5/+5
2020-08-03Auto merge of #75055 - cjgillot:clean-cache, r=oli-obkbors-37/+51
2020-08-02Move IntercrateAmbiguityCause to librustc_trait_selection.Camille GILLOT-0/+41
2020-08-02Introduce an abstraction for EvaluationCache and SelectionCache.Camille GILLOT-37/+10
2020-07-29handle ConstEquate in rustdocBastian Kauschke-0/+32
2020-07-27Auto merge of #73503 - lcnr:forall-predicate-what-and-why-2, r=nikomatsakisbors-413/+448
2020-07-27cleanupBastian Kauschke-1/+1
2020-07-27it works again :tada:Bastian Kauschke-34/+33
2020-07-27fix rebaseBastian Kauschke-23/+25
2020-07-27directly contain `PredicateAtom` in `PredicateKind::ForAll`Bastian Kauschke-36/+32
2020-07-27introduce PredicateAtomBastian Kauschke-307/+285
2020-07-27add reuse_or_mk_predicateBastian Kauschke-1/+1
2020-07-27this might be unqualified, but at least it's now quantifiedBastian Kauschke-22/+22
2020-07-27split ignore_qualifiersBastian Kauschke-32/+32
2020-07-27reviewBastian Kauschke-19/+11
2020-07-27fix elaborate for predicates with unbound variablesBastian Kauschke-1/+1
2020-07-27`PredicateKint` -> `PredicateKind`, the beginning of the endBastian Kauschke-157/+193
2020-07-27elaborateBastian Kauschke-5/+3
2020-07-27somewhat related cleanupBastian Kauschke-3/+3
2020-07-27wfBastian Kauschke-17/+19
2020-07-27convert trivial predicatesBastian Kauschke-2/+2
2020-07-27Handle trait/projection predicates with bound regions correctlyMatthew Jasper-69/+131
2020-07-27minimalBastian Kauschke-69/+39
2020-07-27More ensure stack to avoid segfault with increased `recursion_limit`Yuki Okushi-18/+28
2020-07-25Use the proper span when WF-checking an impl self typeAaron Hill-4/+12
2020-07-22Use `ty::Instance::resolve` to identify `'static` bound sourceEsteban Küber-1/+14
2020-07-22Increase accuracy of lifetime bound on trait object impl suggestionEsteban Küber-0/+1
2020-07-22Rollup merge of #74454 - lcnr:negative-impls, r=nikomatsakisManish Goregaokar-52/+47
2020-07-20update coherence docsBastian Kauschke-7/+7
2020-07-20reviewBastian Kauschke-1/+10
2020-07-20trait_sel: only test predicates w/ no substsDavid Wood-15/+15
2020-07-17refactor ty_is_non_localBastian Kauschke-15/+18
2020-07-17cleanup ty_is_~non~_local_constructorBastian Kauschke-38/+21
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-12 01:42:01 +0000