summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/util.rs
AgeCommit message (Expand)AuthorLines
2023-07-06add helper methods for accessing struct tailLukas Markeffsky-2/+2
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-11/+11
2023-07-05Deal with falloutBoxy-1/+1
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-2/+2
2023-06-21Rollup merge of #112772 - compiler-errors:clauses-1, r=lcnrNilstrieb-1/+1
2023-06-19Store generator field names in GeneratorLayout.Camille GILLOT-44/+0
2023-06-19Make closure_saved_names_of_captured_variables a query.Camille GILLOT-32/+0
2023-06-19s/Clause/ClauseKindMichael Goulet-1/+1
2023-06-08Rollup merge of #109953 - thomcc:thomcc/typeid128, r=WaffleLapkinMatthias Krüger-2/+2
2023-06-06remove `has_error_field` helper methodlcnr-12/+0
2023-06-04Use 128 bits for TypeId hashThom Chiovoloni-2/+2
2023-05-31Auto merge of #111076 - notriddle:notriddle/silence-private-dep-trait-impl-su...bors-1/+21
2023-05-29EarlyBinder::new -> EarlyBinder::bindlcnr-1/+1
2023-05-28Replace EarlyBinder(x) with EarlyBinder::new(x)Kyle Matsuda-1/+1
2023-05-25Use De Morgan's law to simplify logicMichael Howell-6/+6
2023-05-25remove outdated comment from `is_user_visible_dep` docsMichael Howell-4/+0
2023-05-25diagnostics: don't crash if an injected crate shows up in suggestionsMichael Howell-1/+4
2023-05-25diagnostics: exclude indirect private deps from trait impl suggestMichael Howell-1/+22
2023-05-25Check that opaque is a defining use, prefer pre-defined opaquesMichael Goulet-0/+36
2023-05-16Rollup merge of #111533 - clubby789:drop-tracking-error, r=oli-obkMatthias Krüger-3/+3
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-2/+3
2023-05-13Handle error body when in generator layoutclubby789-3/+3
2023-05-12Use the opaque_types_defined_by query to cheaply check for whether a hidden t...Oli Scherer-2/+13
2023-05-12Rewrite nested `if` conditions into a single matchOli Scherer-6/+7
2023-05-12Invert `IgnoreRegions` to `CheckRegions`Oli Scherer-4/+4
2023-05-11Improve error for `self: Box<self>`clubby789-1/+1
2023-04-27Explicitly reject negative and reservation drop implsMichael Goulet-5/+5
2023-04-27rename `needs_infer` to `has_infer`Boxy-1/+1
2023-04-25Rollup merge of #110556 - kylematsuda:earlybinder-explicit-item-bounds, r=com...Matthias Krüger-7/+0
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-1/+1
2023-04-24Rollup merge of #110514 - compiler-errors:remove-find_map_relevant_impl, r=b-...Matthias Krüger-15/+22
2023-04-20add EarlyBinder to output of explicit_item_bounds; replace bound_explicit_ite...Kyle Matsuda-7/+0
2023-04-19Rollup merge of #110498 - kylematsuda:earlybinder-rpitit-tys, r=compiler-errorsMatthias Krüger-7/+0
2023-04-19Remove find_map_relevant_implMichael Goulet-15/+22
2023-04-18add EarlyBinder to return type of collect_return_position_impl_trait_in_trait...Kyle Matsuda-7/+0
2023-04-18Auto merge of #110083 - saethlin:encode-hashes-as-bytes, r=cjgillotbors-2/+2
2023-04-18Store hashes in special types so they aren't accidentally encoded as numbersBen Kimock-2/+2
2023-04-17Spelling - compilerJosh Soref-2/+2
2023-04-13make tcx.impl_subject return EarlyBinder, remove bound_impl_subject, rename u...Kyle Matsuda-4/+0
2023-04-03fix(middle): emit error rather than delay bug when reaching limitbohan-5/+9
2023-03-30Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>`Scott McMurray-2/+2
2023-03-29Support TLS access into dylibs on WindowsJohn Kåre Alsaker-0/+22
2023-03-21Use local key in providersMichael Goulet-4/+3
2023-03-15Auto merge of #108282 - cjgillot:mir-checked-sh, r=tmiaskobors-12/+12
2023-03-13Better names?Michael Goulet-1/+1
2023-03-13Treat projections with infer as placeholder during fast reject in new solverMichael Goulet-7/+14
2023-03-02rustc_middle: Remove trait `DefIdTree`Vadim Petrochenkov-2/+2
2023-02-27Implement checked Shl/Shr at MIR building.Camille GILLOT-12/+12
2023-02-23Auto merge of #108324 - notriddle:notriddle/assoc-fn-method, r=compiler-error...bors-0/+34
2023-02-22Remove type-traversal trait aliasesAlan Egerton-4/+4