about summary refs log tree commit diff
path: root/src/librustc_trait_selection
AgeCommit message (Expand)AuthorLines
2020-07-31Move from `log` to `tracing`Oliver Scherer-1/+1
2020-07-29handle ConstEquate in rustdocBastian Kauschke-0/+32
2020-07-27Auto merge of #73503 - lcnr:forall-predicate-what-and-why-2, r=nikomatsakisbors-427/+461
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-322/+297
2020-07-27add reuse_or_mk_predicateBastian Kauschke-1/+1
2020-07-27this might be unqualified, but at least it's now quantifiedBastian Kauschke-24/+24
2020-07-27split ignore_qualifiersBastian Kauschke-34/+34
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-162/+200
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
2020-07-17Rename TypeckTables to TypeckResults.Valentin Lazureanu-27/+27
2020-07-17Remove some `Symbol:as_str()` calls.Nicholas Nethercote-2/+2
2020-07-16Rename `sym::item_context` as `sym::ItemContext`.Nicholas Nethercote-4/+4
2020-07-15Rollup merge of #74344 - estebank:stringly-wobbly, r=eddybManish Goregaokar-7/+11
2020-07-15Rollup merge of #74276 - lcnr:discriminant-kind-what, r=nagisaManish Goregaokar-15/+5
2020-07-15const_eval_resolveBastian Kauschke-5/+5
2020-07-15ConstKind::UnevaluatedBastian Kauschke-7/+7
2020-07-15improve DiscriminantKind handlingBastian Kauschke-15/+5
2020-07-15Auto merge of #74175 - nnethercote:more-static-symbols, r=oli-obkbors-2/+6
2020-07-14Remove string comparison and use diagnostic item insteadEsteban Küber-7/+11
2020-07-15Add and use more static symbols.Nicholas Nethercote-2/+6
2020-07-14Reword messageEsteban Küber-1/+2
2020-07-14Remove redundant explanatory `note` for type parametersEsteban Küber-1/+6
2020-07-14Suggest borrowing in more unsized fn param casesEsteban Küber-35/+31
2020-07-14Suggest boxing or borrowing unsized fieldsEsteban Küber-18/+35
2020-07-14Suggest borrowing unsized argument typesEsteban Küber-3/+15
2020-07-10Avoid "whitelist"Tamir Duberstein-1/+1
2020-07-09Rollup merge of #74070 - eddyb:forall-tcx-providers, r=nikomatsakisManish Goregaokar-3/+3
2020-07-06Auto merge of #73978 - Mark-Simulacrum:shrink-paramenv, r=nnethercotebors-22/+27
2020-07-05Use for<'tcx> fn pointers in Providers, instead of having Providers<'tcx>.Eduard-Mihai Burtescu-3/+3
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 15:03:15 +0000