about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2022-07-19Use LocalDefId in OpaqueTypeKeyMichael Goulet-10/+2
2022-07-18Auto merge of #99232 - lcnr:no-bound-vars-check, r=jackh726bors-2/+5
2022-07-17Auto merge of #99033 - 5225225:interpreter-validity-checks, r=oli-obkbors-0/+1
2022-07-16Rollup merge of #99342 - TaKO8Ki:avoid-symbol-to-string-conversions, r=compil...Matthias Krüger-8/+8
2022-07-17avoid some `Symbol` to `String` conversionsTakayuki Maeda-8/+8
2022-07-15Propagate Expectation around binop typeck code to construct more precise trai...Will Crichton-0/+18
2022-07-14Point out custom Fn-family trait implMichael Goulet-0/+8
2022-07-14Use constant eval to do strict validity checks5225225-0/+1
2022-07-14Rollup merge of #99000 - JulianKnodt:allow_resolve_no_substs, r=lcnrDylan DPC-4/+198
2022-07-14eagerly check for bound vars of predicateslcnr-0/+4
2022-07-14remove `ct.has_vars_bound_at_or_above` callslcnr-2/+1
2022-07-14Fix overlapping implskadmin-137/+29
2022-07-13Rename `debugging_opts` to `unstable_opts`Joshua Nelson-9/+9
2022-07-13Rollup merge of #99011 - oli-obk:UnsoundCell, r=eddybDylan DPC-22/+42
2022-07-12Rollup merge of #99038 - jackh726:earlybinder-cleanup, r=lcnrDylan DPC-2/+10
2022-07-12Move abstract const to rustc_middle::tykadmin-4/+306
2022-07-11Hide niches in SIMD types, tooOli Scherer-6/+1
2022-07-11More obvious closure nameOli Scherer-4/+4
2022-07-09don't allow ZST in ScalarIntRalf Jung-30/+20
2022-07-09Auto merge of #99028 - tmiasko:inline, r=estebankbors-0/+8
2022-07-08Auto merge of #98614 - oli-obk:take_unsound_opaque_types, r=wesleywiserbors-0/+1
2022-07-08Create a custom layout path for UnsafeCell instead of piggy backing on the la...Oli Scherer-21/+39
2022-07-08Only register hidden types for opaque types from the current crate, nothing e...Oli Scherer-0/+1
2022-07-07Add bound_const_param_defaultJack Huey-2/+6
2022-07-07Move EarlyBinder calls in rustc_typeck::outlives a bit further upJack Huey-0/+4
2022-07-07Move is_free and is_free_or_static to Region, change resolve_var to resolve_r...Jack Huey-0/+13
2022-07-07Miscellaneous inlining improvementsTomasz Miąsko-0/+8
2022-07-07Auto merge of #95573 - cjgillot:lower-query, r=michaelwoeristerbors-35/+98
2022-07-07`UnsafeCell` now has no niches, ever.Oli Scherer-31/+38
2022-07-06Remove dead code.Camille GILLOT-15/+0
2022-07-06Reword create_def comment.Camille GILLOT-6/+13
2022-07-06Comment untracked_crate.Camille GILLOT-0/+2
2022-07-06Create a forever red node and use it to force side effects.Camille GILLOT-18/+6
2022-07-06Make AST lowering a query.Camille GILLOT-5/+11
2022-07-06Allow to create definitions inside the query system.Camille GILLOT-26/+101
2022-07-06Rollup merge of #98519 - TaKO8Ki:add-head-span-field-to-item-and-impl-item, r...Guillaume Gomez-1/+1
2022-07-06replace `guess_head_span` with `def_span`Takayuki Maeda-1/+1
2022-07-06Rollup merge of #98968 - RalfJung:scalar-sanity, r=oli-obkDylan DPC-3/+2
2022-07-06Rollup merge of #98884 - davidtwco:translation-on-lints-derive, r=oli-obkDylan DPC-2/+25
2022-07-06Auto merge of #98206 - eggyal:align-to-chalk-folding-api, r=jackh726bors-859/+963
2022-07-06Update TypeVisitor pathsAlan Egerton-19/+21
2022-07-05finally enable Scalar layout sanity checksRalf Jung-3/+2
2022-07-05Relax constrained generics to TypeVisitableAlan Egerton-14/+14
2022-07-05Explicit TypeVisitable implementationsAlan Egerton-0/+76
2022-07-05impl TypeVisitable in type traversal macrosAlan Egerton-4/+16
2022-07-05Add #[derive(TypeVisitable)]Alan Egerton-93/+60
2022-07-05Split TypeVisitable from TypeFoldableAlan Egerton-736/+783
2022-07-05fix the layout of repr(align) enumsRalf Jung-3/+3
2022-07-05errors: introduce `DecorateLint`David Wood-1/+24
2022-07-05lint: `LintDiagnosticBuilder` into `rustc_errors`David Wood-2/+2