about summary refs log tree commit diff
path: root/src/librustc_middle/ty
AgeCommit message (Expand)AuthorLines
2020-06-19Rollup merge of #72689 - lcnr:common_str, r=estebankManish Goregaokar-6/+3
2020-06-19Account for multiple impl/dyn Trait in return type when suggesting `'_`Esteban Küber-36/+27
2020-06-19code coverage foundation for hash and num_countersRich Kadel-0/+7
2020-06-19Rollup merge of #73357 - petrochenkov:tmap, r=davidtwcoManish Goregaokar-3/+3
2020-06-19Rollup merge of #73257 - davidtwco:issue-73249-improper-ctypes-projection, r=...Manish Goregaokar-23/+13
2020-06-19pretty/mir: const value enums with no variantsDavid Wood-1/+12
2020-06-19ty: simplify `transparent_newtype_field`David Wood-13/+1
2020-06-19lint: unify enum variant, union and struct logicDavid Wood-27/+25
2020-06-19ty: projections in `transparent_newtype_field`David Wood-4/+8
2020-06-19Rollup merge of #72497 - RalfJung:tag-term, r=oli-obkRalf Jung-29/+29
2020-06-18Rollup merge of #72804 - estebank:opaque-missing-lts-in-fn-2, r=nikomatsakisManish Goregaokar-9/+17
2020-06-18Rollup merge of #70551 - mark-i-m:ty-err-2, r=varkorManish Goregaokar-40/+67
2020-06-18Perform obligation deduplication to avoid buggy `ExistentialMismatch`Esteban Küber-3/+13
2020-06-18Add helper method for reusing an existing interned regionMatthew Jasper-0/+7
2020-06-18Use alloc::Layout in DroplessArena APITomasz Miąsko-12/+5
2020-06-17Unify region variables when projecting associated typesmatthewjasper-0/+3
2020-06-16format derivesWho? Me?!-13/+2
2020-06-16Rollup merge of #73373 - lzutao:bug-trackcaller, r=AmanieuDylan DPC-2/+1
2020-06-16Rollup merge of #73237 - tmiasko:arena, r=nnethercoteDylan DPC-1/+1
2020-06-15track caller for delay_span_bugmark-22/+4
2020-06-15make all uses of ty::Error or ConstKind::Error delay a span bugmark-40/+96
2020-06-15typeck: Use `LocalDefId`s for the unused trait import setVadim Petrochenkov-2/+2
2020-06-15Use `LocalDefId` for import IDs in trait mapVadim Petrochenkov-1/+1
2020-06-15When `'static` is explicit, suggest constraining argument with itEsteban Küber-1/+4
2020-06-15Suggest substituting `'static` lifetime in impl/dyn `Trait + 'static` return ...Esteban Küber-8/+13
2020-06-15Join mutiple lines if it is more readableLzu Tao-2/+1
2020-06-15Rollup merge of #72879 - RalfJung:miri-tctx-at, r=oli-obkRalf Jung-0/+1
2020-06-15Rollup merge of #72740 - estebank:recursive-indirection, r=matthewjasperRalf Jung-1/+9
2020-06-15Rollup merge of #72707 - matthewjasper:rustc_min_spec, r=oli-obkRalf Jung-118/+147
2020-06-15Avoid forming references to an uninitialized memory in DroplessArenaTomasz Miąsko-1/+1
2020-06-15Auto merge of #72080 - matthewjasper:uniform-impl-trait, r=nikomatsakisbors-21/+3
2020-06-14Improve `Instance` docsJonas Schievink-11/+41
2020-06-13Rollup merge of #73194 - lzutao:INT-patterns, r=dtolnayDylan DPC-3/+3
2020-06-13Rollup merge of #73066 - ecstatic-morse:query-structural-eq2, r=pnkfelixDylan DPC-0/+51
2020-06-13Prefer the associated consts for pattern matching errorLzu Tao-3/+3
2020-06-12Use "reflexive equality" in docsDylan MacKenzie-2/+2
2020-06-12Helper method for whether type has structural equalityDylan MacKenzie-0/+51
2020-06-12Rollup merge of #73225 - tmandry:issue-73050, r=oli-obkDylan DPC-10/+1
2020-06-12make miri InterpCx TyCtxtAt a TyCtxt, and separately remember the root span o...Ralf Jung-0/+1
2020-06-12Auto merge of #69478 - avr-rust:avr-support-upstream, r=jonas-schievinkbors-0/+2
2020-06-11Rollup merge of #73012 - Aaron1011:feature/span-debug-ctxt, r=matthewjasperDylan DPC-3/+5
2020-06-11Remove associated opaque typesMatthew Jasper-21/+3
2020-06-11Auto merge of #71896 - spastorino:existential-assoc-types-variance, r=nikomat...bors-2/+2
2020-06-10Allow inference regions when relating constsTyler Mandry-10/+1
2020-06-10On recursive ADT, provide indirection structured suggestionEsteban Küber-1/+9
2020-06-10Rollup merge of #72890 - davidtwco:issue-66202-normalize-and-transparent-impr...Dylan DPC-0/+28
2020-06-10Use min_specialization in the remaining rustc cratesMatthew Jasper-118/+147
2020-06-09Relate existential associated types with variance InvariantSantiago Pastorino-2/+2
2020-06-09lint: transitive FFI-safety for transparent typesDavid Wood-0/+28
2020-06-09Auto merge of #72114 - anyska:vtable-rename, r=nikomatsakisbors-1/+1