about summary refs log tree commit diff
path: root/src/librustc_mir
AgeCommit message (Expand)AuthorLines
2020-02-19Reorder yield visitation order to match callJonas Schievink-1/+1
2020-02-19Handle resume args in `RequiresStorage` analysisJonas Schievink-11/+46
2020-02-19Use match ergonomics to simplify matchJonas Schievink-5/+5
2020-02-19Match MIR statements exhaustivelyJonas Schievink-1/+8
2020-02-19Make lookup of associated item by name O(log n)Dylan MacKenzie-2/+2
2020-02-19Rollup merge of #69280 - ecstatic-morse:promote-shuffle-no-special-case, r=pe...Dylan DPC-21/+7
2020-02-18Remove mention of `simd_shuffle` promotion from commentsDylan MacKenzie-9/+7
2020-02-18Remove special case for `simd_shuffle` arg promotionDylan MacKenzie-12/+0
2020-02-18Prevent const trait methods from being marked stableDylan MacKenzie-0/+8
2020-02-18Make `fn_queries` helpers module-privateDylan MacKenzie-75/+74
2020-02-18Remove outdated FIXMEDylan MacKenzie-2/+0
2020-02-18Check for trait methods on concrete types in const checkingDylan MacKenzie-3/+17
2020-02-19Auto merge of #69113 - ecstatic-morse:unified-dataflow-borrowed, r=wesleywiserbors-278/+297
2020-02-18Const-check functions in a `const` implDylan MacKenzie-1/+14
2020-02-18Add `is_const_impl_raw` queryDylan MacKenzie-1/+15
2020-02-18better lint namesRalf Jung-4/+4
2020-02-18Rollup merge of #69146 - matthewjasper:literal-qualif, r=eddybMazdak Farrokhzad-17/+8
2020-02-18Rollup merge of #69181 - skinny121:const-eval-return, r=oli-obkDylan DPC-51/+50
2020-02-18more English grammarRalf Jung-4/+4
2020-02-18miri value visitor: fix some wrong assumptions about layout; improve error me...Ralf Jung-157/+151
2020-02-17Fix typo in commentDylan MacKenzie-1/+1
2020-02-17Use doc comment for explanation of `shared_borrow_allows_mutation`Dylan MacKenzie-9/+9
2020-02-17Rollup merge of #69179 - JohnTitor:rename-to-fnretty, r=CentrilYuki Okushi-3/+3
2020-02-17Rollup merge of #69158 - ecstatic-morse:graphviz-diff, r=matthewjasperYuki Okushi-20/+35
2020-02-17Rename `FunctionRetTy` to `FnRetTy`Yuki Okushi-3/+3
2020-02-16Clarify mir block mergingMarkus Westerlind-1/+5
2020-02-16Make librustc_mir compile.Camille GILLOT-47/+50
2020-02-16Make librustc_infer compile.Camille GILLOT-0/+1
2020-02-16Auto merge of #69156 - ecstatic-morse:unified-dataflow-impls2, r=eddybbors-83/+41
2020-02-16Determine type of intrinsics instead of assuming the destination type is the ...Ben Lewis-1/+8
2020-02-16Code review changes.Ben Lewis-2/+2
2020-02-15Tighter type bounds for messagesRalf Jung-1/+1
2020-02-15Always qualify literals by typeMatthew Jasper-17/+8
2020-02-15fix exceeding_bitshift lint and testRalf Jung-5/+7
2020-02-15Rollup merge of #69166 - JohnTitor:ice-const-enum, r=matthewjasperDylan DPC-1/+4
2020-02-15Auto merge of #67681 - matthewjasper:infer-regions-in-borrowck, r=nikomatsakisbors-144/+446
2020-02-15Fix emulate intrinsics return type.Ben Lewis-2/+1
2020-02-15Change `const_field` and `const_caller_location` to return `ConstValue` inste...Ben Lewis-11/+4
2020-02-15Change const eval to return `ConstValue`, instead of `Const` as the type insi...Ben Lewis-43/+43
2020-02-14Add fast path to eq_opaque_type_and_typeMatthew Jasper-0/+16
2020-02-14Fix and test nested impl TraitMatthew Jasper-5/+13
2020-02-14Use member constraint for most opaque types in NLLMatthew Jasper-0/+2
2020-02-14Always check upper bounds when choosing member regionsMatthew Jasper-40/+81
2020-02-14Improve opaque type lifetime errorsMatthew Jasper-14/+36
2020-02-14Handle equal regions in opaque type inferenceMatthew Jasper-18/+70
2020-02-14Show inferred opaque types with `#[rustc_regions]`Matthew Jasper-5/+29
2020-02-14Address review commentsMatthew Jasper-18/+2
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