about summary refs log tree commit diff
path: root/src/librustc_infer
AgeCommit message (Expand)AuthorLines
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
2020-06-27more LocalDefId cleanupBastian Kauschke-227/+223
2020-06-27more LocalDefId in ty::contextBastian Kauschke-1/+2
2020-06-26Explain move errors that occur due to method calls involving `self`Aaron Hill-1/+1
2020-06-23Rollup merge of #73630 - estebank:fn-item-e0308, r=davidtwcoManish Goregaokar-1/+1
2020-06-23Rollup merge of #73496 - estebank:opaque-missing-lts-in-fn-3, r=nikomatsakisManish Goregaokar-34/+62
2020-06-23Rollup merge of #72493 - nikomatsakis:move-leak-check, r=matthewjasperManish Goregaokar-132/+435
2020-06-22review commentsEsteban Küber-3/+4
2020-06-22Provide context on E0308 involving fn itemsEsteban Küber-1/+1
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