about summary refs log tree commit diff
path: root/src/librustc_infer
AgeCommit message (Expand)AuthorLines
2020-06-22fix subtle bug in NLL type checkerNiko Matsakis-1/+7
2020-06-22remove `leak_check` from the outlives predicate evaluationsNiko Matsakis-5/+2
2020-06-22Revert "Rollup merge of #72389 - Aaron1011:feature/move-fn-self-msg, r=nikoma...Aaron Hill-1/+1
2020-06-22move leak-check to during coherence, candidate evalNiko Matsakis-4/+15
2020-06-22rewrite leak check to be based on universesNiko Matsakis-125/+414
2020-06-22Revert "modify leak-check to track only outgoing edges from placeholders"Niko Matsakis-17/+4
2020-06-22modify leak-check to track only outgoing edges from placeholdersNiko Matsakis-4/+17
2020-06-20Auto merge of #73563 - Manishearth:rollup-oowgwwm, r=Manishearthbors-15/+8
2020-06-20Move bounds on associated types to the typeMatthew Jasper-15/+8
2020-06-20remove `pop_placeholders`Bastian Kauschke-80/+3
2020-06-20int -> i32Bastian Kauschke-4/+4
2020-06-20skol -> placeholderBastian Kauschke-2/+2
2020-06-19Rollup merge of #73452 - matthewjasper:auto-rec, r=nikomatsakisManish Goregaokar-32/+33
2020-06-19Rollup merge of #73027 - doctorn:issue-72690, r=estebankManish Goregaokar-2/+15
2020-06-19Account for multiple impl/dyn Trait in return type when suggesting `'_`Esteban Küber-32/+59
2020-06-18Rollup merge of #72804 - estebank:opaque-missing-lts-in-fn-2, r=nikomatsakisManish Goregaokar-35/+158
2020-06-18Rollup merge of #70551 - mark-i-m:ty-err-2, r=varkorManish Goregaokar-11/+12
2020-06-18Add helper method for reusing an existing interned regionMatthew Jasper-8/+2
2020-06-17Unify region variables when projecting associated typesmatthewjasper-32/+39
2020-06-16Auto merge of #72962 - lcnr:ObligationCause-lrc, r=ecstatic-morsebors-5/+7
2020-06-15make all uses of ty::Error or ConstKind::Error delay a span bugmark-11/+12
2020-06-15fix rebaseEsteban Küber-1/+1
2020-06-15Change E0758 to E0759 to avoid conflict with #72912Esteban Küber-1/+1
2020-06-15small tweaksEsteban Küber-6/+14
2020-06-15Use note for requirement source spanEsteban Küber-8/+2
2020-06-15review comments: wordingEsteban Küber-27/+31
2020-06-15Tweak wording and add error codeEsteban Küber-16/+19
2020-06-15Tweak output for overlapping required/captured spansEsteban Küber-6/+4
2020-06-15Move overlapping span to a noteEsteban Küber-1/+30
2020-06-15Reduce verbosity of suggestion message and mention lifetime in labelEsteban Küber-40/+47
2020-06-15When `'static` is explicit, suggest constraining argument with itEsteban Küber-43/+75
2020-06-15Suggest substituting `'static` lifetime in impl/dyn `Trait + 'static` return ...Esteban Küber-8/+56
2020-06-15Auto merge of #73369 - RalfJung:rollup-hl8g9zf, r=RalfJungbors-1/+1
2020-06-15Rollup merge of #72707 - matthewjasper:rustc_min_spec, r=oli-obkRalf Jung-1/+1
2020-06-15Auto merge of #73367 - RalfJung:rollup-4ewvk9b, r=RalfJungbors-1/+1
2020-06-15Auto merge of #72080 - matthewjasper:uniform-impl-trait, r=nikomatsakisbors-4/+3
2020-06-11Explain move errors that occur due to method calls involving `self`Aaron Hill-1/+1
2020-06-11Rollup merge of #73182 - Aaron1011:feature/call-fn-span, r=matthewjasperDylan DPC-2/+2
2020-06-11Rename `TyKind::Def` to `OpaqueDef`Matthew Jasper-1/+2
2020-06-11Remove associated opaque typesMatthew Jasper-3/+1
2020-06-10Track span of function in method calls, and use this in #[track_caller]Aaron Hill-2/+2
2020-06-10Use min_specialization in the remaining rustc cratesMatthew Jasper-1/+1
2020-06-09Fix more clippy warningsMatthias Krüger-3/+2
2020-06-09Auto merge of #72114 - anyska:vtable-rename, r=nikomatsakisbors-4/+4
2020-06-07store `ObligationCause` on the heapBastian Kauschke-5/+7
2020-06-06Auto merge of #72927 - petrochenkov:rustc, r=Mark-Simulacrumbors-2/+2
2020-06-05Rename traits::Vtable to ImplSource.Ana-Maria Mihalache-4/+4
2020-06-05Add FIXME to comment regarding local patternsNathan Corbyn-1/+1
2020-06-05Make `need_type_info_err` more conservativeNathan Corbyn-2/+15
2020-06-02Rename the crates in source codeVadim Petrochenkov-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-27 08:03:23 +0000