about summary refs log tree commit diff
path: root/src
AgeCommit message (Expand)AuthorLines
2020-02-14Fix tests after rebaseMatthew Jasper-51/+82
2020-02-14Split `type_of` out of collect.rsMatthew Jasper-653/+666
2020-02-14Add fast path to eq_opaque_type_and_typeMatthew Jasper-3/+25
2020-02-14Fix and test nested impl TraitMatthew Jasper-5/+29
2020-02-14Update testsMatthew Jasper-231/+124
2020-02-14Use member constraint for most opaque types in NLLMatthew Jasper-15/+43
2020-02-14Always check upper bounds when choosing member regionsMatthew Jasper-40/+81
2020-02-14Improve opaque type lifetime errorsMatthew Jasper-31/+41
2020-02-14Handle equal regions in opaque type inferenceMatthew Jasper-18/+127
2020-02-14Show inferred opaque types with `#[rustc_regions]`Matthew Jasper-5/+29
2020-02-14Address review commentsMatthew Jasper-55/+67
2020-02-14Update testsMatthew Jasper-157/+291
2020-02-14Erase regions in opaque types in typeckMatthew Jasper-27/+65
2020-02-14Ensure RPIT types get recorded in borrowckMatthew Jasper-7/+27
2020-02-14Avoid unnecessary opaque type errors in borrowckMatthew Jasper-0/+8
2020-02-14Infer opaque type regions in borrow checkingMatthew Jasper-3/+83
2020-02-14Prepare to use borrowck to resolve opaque typesMatthew Jasper-68/+128
2020-02-14Arena allocate the result of mir_borrowckMatthew Jasper-13/+12
2020-02-14Generate more accurate MIR in `construct_error`Matthew Jasper-5/+42
2020-02-14Simplify function signature in opaque_typesMatthew Jasper-9/+5
2020-02-14Give some more queries descriptionsMatthew Jasper-1/+6
2020-02-14Distinguish RPIT from other impl traitMatthew Jasper-20/+39
2020-02-14Call `is_freeze` less in unsafety-checkingMatthew Jasper-19/+58
2020-02-14Check associated opaque types don't use unconstrained lifetimesMatthew Jasper-14/+57
2020-02-14Explain a testMatthew Jasper-2/+9
2020-02-14Auto merge of #69100 - cjgillot:resolve_instance, r=Zoxcbors-123/+160
2020-02-14update miriRalf Jung-7/+7
2020-02-14Auto merge of #68693 - Zoxc:query-no-arc, r=michaelwoeristerbors-161/+323
2020-02-13Auto merge of #69144 - Dylan-DPC:rollup-apt6zjj, r=Dylan-DPCbors-866/+754
2020-02-13Rollup merge of #69141 - mark-i-m:proper-linkcheck-2, r=Dylan-DPCDylan DPC-0/+2
2020-02-13Rollup merge of #69135 - drewrip:drewrip-spelling, r=jonas-schievinkDylan DPC-1/+1
2020-02-13Rollup merge of #69127 - tmiasko:new-pass-manager-use-after-scope, r=nikicDylan DPC-2/+2
2020-02-13Rollup merge of #69126 - RalfJung:exact-div, r=oli-obkDylan DPC-2/+4
2020-02-13Rollup merge of #69125 - jethrogb:jb/cleanup-sgx-entry, r=Dylan-DPCDylan DPC-0/+1
2020-02-13Rollup merge of #69108 - cjgillot:trait_candidate, r=ZoxcDylan DPC-18/+29
2020-02-13Rollup merge of #69057 - Centril:clean-expand, r=petrochenkovDylan DPC-114/+94
2020-02-13Rollup merge of #68938 - Areredify:gat_lifetime_shadowing, r=estebankDylan DPC-6/+25
2020-02-13Rollup merge of #68728 - Centril:towards-fn-merge, r=petrochenkovDylan DPC-723/+596
2020-02-13Auto merge of #68406 - andjo403:selfprofileLlvm, r=wesleywiserbors-4/+164
2020-02-13Move resolve_instance to rustc_ty.Camille GILLOT-123/+160
2020-02-13don't error on network failuresMark Mansi-0/+2
2020-02-13Spelling error "represening" to "representing"Drew Ripberger-1/+1
2020-02-13Make TraitCandidate generic.Camille GILLOT-30/+26
2020-02-13Use HirId in TraitCandidate.Camille GILLOT-16/+31
2020-02-13parser: inline parse_assoc_macro_invocMazdak Farrokhzad-20/+10
2020-02-13parser: misc small item related improvements & cleanups.Mazdak Farrokhzad-249/+233
2020-02-13parser: extract `recover_const_mut`.Mazdak Farrokhzad-13/+17
2020-02-13parser: fuse `trait` parsing & layer with `is_path_start_item`Mazdak Farrokhzad-35/+27
2020-02-13parser: make `eat_macro_def` redundant.Mazdak Farrokhzad-33/+12
2020-02-13parser: remove `Option<Vec<Attribute>>` in `ItemInfo`.Mazdak Farrokhzad-59/+50