about summary refs log tree commit diff
path: root/src/librustc_infer
AgeCommit message (Expand)AuthorLines
2020-08-10Use existing `infcx` when emitting trait impl diagnosticAaron Hill-5/+3
2020-08-08fix clippy::needless_return: remove unneeded return statementsMatthias Krüger-2/+2
2020-08-08fix clippy::clone_on_copy: don't clone types that are copyMatthias Krüger-4/+4
2020-08-07fix clippy::redundant_pattern_matching: use .is_some() instead of if let Some...Matthias Krüger-1/+2
2020-08-07fix clippy::filter_next: use .find(..) instead of .filter(..).next()Matthias Krüger-5/+1
2020-08-03Auto merge of #74969 - nnethercote:rm-GCX_PTR, r=Mark-Simulacrumbors-2/+2
2020-08-03Use more appropriate `tls::with_*` methods in some places.Nicholas Nethercote-2/+2
2020-08-02fix typosliuzhenyu-3/+3
2020-07-31Move from `log` to `tracing`Oliver Scherer-1/+1
2020-07-27fix rebaseBastian Kauschke-1/+1
2020-07-27directly contain `PredicateAtom` in `PredicateKind::ForAll`Bastian Kauschke-2/+0
2020-07-27introduce PredicateAtomBastian Kauschke-47/+41
2020-07-27add reuse_or_mk_predicateBastian Kauschke-4/+3
2020-07-27refactor query_outlives_constraints_into_obligationsBastian Kauschke-13/+6
2020-07-27this might be unqualified, but at least it's now quantifiedBastian Kauschke-1/+1
2020-07-27split ignore_qualifiersBastian Kauschke-18/+15
2020-07-27reviewBastian Kauschke-28/+14
2020-07-27fix elaborate for predicates with unbound variablesBastian Kauschke-9/+5
2020-07-27`PredicateKint` -> `PredicateKind`, the beginning of the endBastian Kauschke-58/+63
2020-07-27progressBastian Kauschke-3/+3
2020-07-27elaborateBastian Kauschke-14/+20
2020-07-27subst_supertraitBastian Kauschke-2/+2
2020-07-27convert trivial predicatesBastian Kauschke-13/+11
2020-07-27query_outlives_constraints_into_obligationsBastian Kauschke-20/+24
2020-07-27anonymize_predicateBastian Kauschke-22/+15
2020-07-23fixed error reporting for mismatched traitsAyrton-5/+24
2020-07-22Change error code numberEsteban Küber-2/+2
2020-07-22Handle fully-qualified paths and add test casesEsteban Küber-82/+102
2020-07-22Partially account for case where used method is from traitEsteban Küber-5/+21
2020-07-22Use `ty::Instance::resolve` to identify `'static` bound sourceEsteban Küber-121/+100
2020-07-22Further tweak wording of E0759 and introduce E0767Esteban Küber-29/+78
2020-07-22Add more context to diagnosticEsteban Küber-14/+64
2020-07-22Increase accuracy of lifetime bound on trait object impl suggestionEsteban Küber-70/+159
2020-07-22Detect when `'static` obligation might come from an `impl`Esteban Küber-195/+270
2020-07-17Auto merge of #72983 - Lezzz:rename-typeck, r=nikomatsakisbors-28/+38
2020-07-17Rename TypeckTables to TypeckResults.Valentin Lazureanu-28/+38
2020-07-16apply bootstrap cfgsMark Rousskov-1/+0
2020-07-15improve namingBastian Kauschke-1/+1
2020-07-15const_eval_resolveBastian Kauschke-2/+2
2020-07-06Auto merge of #73978 - Mark-Simulacrum:shrink-paramenv, r=nnethercotebors-3/+3
2020-07-05Shrink ParamEnv to 16 bytesMark Rousskov-3/+3
2020-07-05expected found `&T` -> `T`Bastian Kauschke-4/+4
2020-07-02Remove `TypeckTables::empty(None)` and make hir_owner non-optional.Eduard-Mihai Burtescu-2/+2
2020-06-30change `skip_binder` to use T by valueBastian Kauschke-13/+12
2020-06-30stop taking references in RelateBastian Kauschke-72/+72
2020-06-28Auto merge of #72437 - ecstatic-morse:stabilize-const-if-match, r=oli-obkbors-1/+1
2020-06-28Remove `const_if_match` feature gate from librariesDylan MacKenzie-1/+1
2020-06-28Rollup merge of #73833 - bjorn3:remove_gcx_enter_local, r=matthewjasperManish Goregaokar-19/+17
2020-06-28Remove GlobalCtxt::enter_localbjorn3-19/+17
2020-06-27Rollup merge of #73796 - lcnr:LocalDefId, r=matthewjasperManish Goregaokar-226/+223
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-05-04 20:31:48 +0000