summary refs log tree commit diff
path: root/src/librustc_middle/ty
AgeCommit message (Expand)AuthorLines
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 #72822 - lcnr:intern-me, r=estebankYuki Okushi-1/+5
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-30Account for returned `dyn Trait` evaluating to `'static` lifetimeEsteban Küber-27/+93
2020-05-30Rollup merge of #72540 - davidtwco:issue-67552-mono-collector-comparison, r=v...Ralf Jung-2/+1
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-1/+21
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-29Rollup merge of #72636 - marmeladema:resolver-outputs-def-id, r=petrochenkovDylan DPC-4/+4
2020-05-28Account for trailing comma when suggesting `where` clausesEsteban Küber-12/+9
2020-05-28standardize limit comparisons with `Limit` typeDavid Wood-2/+1
2020-05-28Auto merge of #72494 - lcnr:predicate-cleanup, r=nikomatsakisbors-38/+49
2020-05-27Store `LocalDefId` directly in `rustc_resolve::Resolver` where possiblemarmeladema-4/+4
2020-05-25Rename upvar_list to closure_capturesDhruv Jauhar-4/+4
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-4/+14
2020-05-25Add helper method for determining the type of a discriminantRalf Jung-0/+10
2020-05-25Rollup merge of #72544 - sexxi-goose:upvars_mentioned, r=matthewjasperRalf Jung-2/+2
2020-05-25fix ICE when debug-printing MIRRalf Jung-10/+20
2020-05-24librustc_middle: Rename upvars query to upvars_mentionedAman Arora-2/+2
2020-05-24Rollup merge of #72402 - marmeladema:resolver-outputs-def-id, r=ecstatic-morseRalf Jung-46/+15
2020-05-24Auto merge of #72362 - matthewjasper:remove-rescope, r=nikomatsakisbors-50/+11
2020-05-23fix Predicate perf regressionBastian Kauschke-2/+5
2020-05-23iterate List by valueBastian Kauschke-27/+41
2020-05-23take predicates by value instead of by referenceBastian Kauschke-9/+3
2020-05-22Use `OnceCell` instead of `Once`Dylan MacKenzie-9/+9
2020-05-22Remove ReScopeMatthew Jasper-50/+11
2020-05-22Rollup merge of #72309 - petrochenkov:linkunspec, r=matthewjasperRalf Jung-2/+3
2020-05-21Rollup merge of #72149 - estebank:icemation, r=eddybRalf Jung-7/+6
2020-05-21Rollup merge of #72055 - lcnr:predicate-kind, r=nikomatsakisRalf Jung-113/+188
2020-05-21Use `DefId` in `ResolverOutputs::extern_crate_map` instead of `NodeId`marmeladema-8/+3
2020-05-21Use `DefId` in `ResolverOutputs::glob_map` instead of `NodeId`marmeladema-7/+3
2020-05-21Use `DefId` in `ResolverOutputs::maybe_unused_extern_crates` instead of `NodeId`marmeladema-7/+3
2020-05-21Use `LocalDefId` in `ResolverOutputs::maybe_unused_trait_imports` instead of ...marmeladema-7/+4
2020-05-21Use `HirId` in `ResolverOutputs::export_map` instead of `NodeId`marmeladema-12/+2
2020-05-21Use `HirId` in value of `ResolverOutputs::trait_map` instead of `NodeId`marmeladema-5/+1
2020-05-21Use `HirId` as key for `ResolverOutputs::trait_map` instead of `NodeId`marmeladema-4/+3
2020-05-21Auto merge of #70705 - lcnr:generic_discriminant, r=nikomatsakisbors-1/+5
2020-05-20Rename some types describing native librariesVadim Petrochenkov-2/+3
2020-05-20ptr eq for `Predicate`Bastian Kauschke-6/+15
2020-05-20change `Predicate::kind` to return a referenceBastian Kauschke-24/+25
2020-05-20intern `PredicateKind`Bastian Kauschke-8/+31