summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2022-08-05Auto merge of #99867 - spastorino:refactor-remap-lifetimes, r=nikomatsakisbors-0/+5
2022-08-04Rollup merge of #100095 - jackh726:early-binder, r=lcnrMatthias Krüger-3/+21
2022-08-04Document generics_def_id_map field and record/get methods on itSantiago Pastorino-1/+4
2022-08-04Implement def_id based remappingSantiago Pastorino-0/+2
2022-08-03Add bound_impl_subject and bound_return_tyJack Huey-0/+4
2022-08-03Change sized_constraints to return EarlyBinderJack Huey-3/+3
2022-08-02Add bound_predicates_of and bound_explicit_predicates_ofJack Huey-0/+14
2022-08-02Auto merge of #92268 - jswrenn:transmute, r=oli-obkbors-1/+90
2022-08-02Auto merge of #100032 - BoxyUwU:no_ty_in_placeholder_const, r=compiler-errorsbors-1/+1
2022-08-01Remove trait_of_item query.Camille GILLOT-1/+20
2022-08-01Remove DefId from AssocItemContainer.Camille GILLOT-41/+34
2022-08-01Remove visibility from AssocItem.Camille GILLOT-1/+5
2022-08-01Store associated item defaultness in impl_defaultness.Camille GILLOT-3/+7
2022-08-01Rollup merge of #99340 - GoldsteinE:fix-localdefid-debug-ice, r=lcnrMatthias Krüger-2/+2
2022-08-01make `PlaceholderConst` not store the type of the constEllen-1/+1
2022-08-01fix ICE in Definitions::create_defGoldstein-2/+2
2022-07-31Rollup merge of #99973 - RalfJung:layout-things, r=eddybMatthias Krüger-0/+4
2022-07-31Rollup merge of #99186 - camsteffen:closure-localdefid, r=cjgillotDylan DPC-5/+5
2022-07-31check 'size multiple of align' for all layoutsRalf Jung-0/+4
2022-07-30Auto merge of #99959 - cuviper:niche-size, r=eddybbors-2/+8
2022-07-30Use LocalDefId for closures moreCameron Steffen-5/+5
2022-07-30Fix the size of niche enums with ZST alignmentJosh Stone-2/+8
2022-07-30Rollup merge of #99900 - lcnr:hash-stable-fun, r=cjgillotDylan DPC-64/+9
2022-07-29remove some manual hash stable implslcnr-64/+9
2022-07-29optimize bound vars replacement :3lcnr-18/+22
2022-07-28anonymize all bound vars, not just regionslcnr-7/+75
2022-07-28`BoundVarReplacer`: trait object instead of 3 fnslcnr-66/+76
2022-07-27safe transmute: revise `Hash`, `PartialEq` impls on `VariantDef`, `FieldDef`Jack Wrenn-12/+61
2022-07-27Initial (incomplete) implementation of transmutability trait.Jack Wrenn-1/+41
2022-07-27Rollup merge of #99651 - compiler-errors:fn-and-raw-ptr-in-const-generics, r=...Guillaume Gomez-1/+1
2022-07-27Rollup merge of #99358 - compiler-errors:issue-99325, r=oli-obkGuillaume Gomez-21/+15
2022-07-26Fix diagnostics for unfulfilled obligationsDeadbeef-0/+8
2022-07-26Add `Self: ~const Trait` to traits with `#[const_trait]`Deadbeef-1/+1
2022-07-26Allow try_to_raw_bytes on u8 arrayMichael Goulet-21/+15
2022-07-26Rollup merge of #99353 - compiler-errors:gat-where-clause-mismatch, r=cjgillotYuki Okushi-6/+13
2022-07-25Auto merge of #99600 - tmiasko:subst-folder, r=petrochenkovbors-55/+72
2022-07-25Deeply deny fn and raw ptrs in const genericsMichael Goulet-1/+1
2022-07-24Combine redundant obligation cause codesMichael Goulet-6/+13
2022-07-23Rollup merge of #99580 - fmease:fix-issue-99565, r=estebankMatthias Krüger-5/+13
2022-07-22do not mark interior mutable shared refs as dereferenceableRalf Jung-5/+10
2022-07-22rename PointerKind::Shared → SharedMutable to indicate this is NOT the usua...Ralf Jung-4/+4
2022-07-22Outline `SubstFolder` bug reporting code pathsTomasz Miąsko-55/+70
2022-07-22Inline `SubstFolder::tcx`Tomasz Miąsko-0/+1
2022-07-22Inline `Predicate::has_vars_bound_at_or_above`Tomasz Miąsko-0/+1
2022-07-22Auto merge of #99521 - fee1-dead-contrib:const_fix_hax, r=oli-obkbors-0/+13
2022-07-22Rollup merge of #99393 - Logarithmus:feature/99255-omit-const-generic-suffixe...Dylan DPC-1/+1
2022-07-22Don't suggest unnameable generic argumentsLeón Orell Valerian Liehr-5/+13
2022-07-22Auto merge of #99420 - RalfJung:vtable, r=oli-obkbors-16/+19
2022-07-21Rollup merge of #99558 - fee1-dead-contrib:remap_constness_fix, r=oli-obkMatthias Krüger-10/+3
2022-07-21Rollup merge of #99528 - matthiaskrgr:2022_07_perf, r=estebankMatthias Krüger-6/+4