summary refs log tree commit diff
path: root/src/librustc_middle
AgeCommit message (Expand)AuthorLines
2020-07-30Fix #[track_caller] shims for trait objects.Adam Perry-1/+1
2020-07-10Perform obligation deduplication to avoid buggy `ExistentialMismatch`Esteban Küber-3/+13
2020-06-26Allow inference regions when relating constsTyler Mandry-10/+1
2020-06-02Rollup merge of #72893 - RalfJung:unleash-tls, r=ecstatic-morseYuki Okushi-2/+2
2020-06-02Rollup merge of #72822 - lcnr:intern-me, r=estebankYuki Okushi-1/+5
2020-06-01test miri-unleash TLS accessesRalf Jung-2/+2
2020-06-01Auto merge of #71192 - oli-obk:eager_alloc_id_canonicalization, r=wesleywiserbors-1/+28
2020-06-01Rollup merge of #72823 - matthewjasper:describe-queries, r=eddybDylan DPC-66/+168
2020-05-31Add descriptions for all queriesMatthew Jasper-66/+168
2020-05-31remove trivial calls to mk_constBastian Kauschke-1/+5
2020-05-31Rollup merge of #72745 - lcnr:interned-cleanup, r=petrochenkovRalf Jung-48/+2
2020-05-31Rollup merge of #72715 - estebank:trailing-comma-where, r=petrochenkovRalf Jung-15/+1
2020-05-31Auto merge of #72743 - lcnr:predicate_f, r=nikomatsakisbors-2/+2
2020-05-30Rollup merge of #72625 - Amanieu:asm-srcloc, r=petrochenkovRalf Jung-4/+15
2020-05-30Account for returned `dyn Trait` evaluating to `'static` lifetimeEsteban Küber-27/+93
2020-05-30Rollup merge of #72563 - RalfJung:multi-return, r=matthewjasperRalf Jung-1/+2
2020-05-30Rollup merge of #72540 - davidtwco:issue-67552-mono-collector-comparison, r=v...Ralf Jung-6/+5
2020-05-30Rollup merge of #72299 - lcnr:sized_help, r=petrochenkovRalf Jung-2/+8
2020-05-30Make TLS accesses explicit in MIROliver Scherer-1/+28
2020-05-30more `LocalDefId`sBastian Kauschke-2/+8
2020-05-30multiple Return terminators are possibleRalf Jung-1/+2
2020-05-30Rollup merge of #72752 - lcnr:remove-mk_bool, r=estebankYuki Okushi-5/+0
2020-05-30Rollup merge of #72419 - RalfJung:read-discriminant, r=oli-obk,eddybYuki Okushi-15/+24
2020-05-29Auto merge of #72756 - RalfJung:rollup-tbjmtx2, r=RalfJungbors-11/+40
2020-05-29Rollup merge of #71862 - LeSeulArtichaut:unsafe-block-in-unsafe-fn, r=nikomat...Ralf Jung-2/+14
2020-05-29Rollup merge of #71500 - josephlr:offset, r=oli-obk,RalfJungRalf Jung-9/+26
2020-05-29remove mk_boolBastian Kauschke-5/+0
2020-05-29Rollup merge of #72591 - sexxi-goose:rename_upvar_list-to-closure_captures, r...Dylan DPC-4/+4
2020-05-29Borrow<[T]> for Interned<'tcx, List<T>>Bastian Kauschke-48/+2
2020-05-29Move common code to `WhereClause`Esteban Küber-12/+1
2020-05-29fix encode with shorthand for PredicateBastian Kauschke-2/+2
2020-05-29Add Span to arena_types! for decoding &'tcx [Span]Amanieu d'Antras-0/+2
2020-05-29Improve inline asm error diagnosticsAmanieu d'Antras-4/+13
2020-05-29Rollup merge of #72636 - marmeladema:resolver-outputs-def-id, r=petrochenkovDylan DPC-12/+8
2020-05-28Account for trailing comma when suggesting `where` clausesEsteban Küber-12/+9
2020-05-28standardize limit comparisons with `Limit` typeDavid Wood-6/+5
2020-05-27Add additional checks for isize overflowJoe Richey-2/+13
2020-05-28Auto merge of #72494 - lcnr:predicate-cleanup, r=nikomatsakisbors-51/+62
2020-05-27Use the lowest of `unsafe_op_in_unsafe_fn` and `safe_borrow_packed` for packe...LeSeulArtichaut-0/+4
2020-05-27Apply suggestions from code reviewLeSeulArtichaut-2/+3
2020-05-27Implement RFC 2585LeSeulArtichaut-1/+8
2020-05-27Store `LocalDefId` directly in `rustc_resolve::Resolver` where possiblemarmeladema-12/+8
2020-05-26librustc_middle: Add function for computing unsigned absJoe Richey-8/+14
2020-05-25Rename upvar_list to closure_capturesDhruv Jauhar-4/+4
2020-05-25Rollup merge of #72538 - rakshith-ravi:refactor/remove-const-query, r=oli-obkDylan DPC-9/+0
2020-05-25Rollup merge of #72424 - RalfJung:mir-print-ice, r=oli-obkDylan DPC-10/+20
2020-05-25fix discriminant_ty for non-enumsRalf Jung-7/+15
2020-05-25Add helper method for determining the type of a discriminantRalf Jung-10/+11
2020-05-25Miri: refactor read_discriminant and make it return ScalarRalf Jung-2/+2
2020-05-25Rollup merge of #72544 - sexxi-goose:upvars_mentioned, r=matthewjasperRalf Jung-6/+6