about summary refs log tree commit diff
path: root/compiler/rustc_ty_utils
AgeCommit message (Expand)AuthorLines
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-10/+11
2023-06-23Auto merge of #112891 - oli-obk:impl_trait_in_assoc_tys_cleanup, r=compiler-e...bors-49/+85
2023-06-23Rollup merge of #112810 - compiler-errors:dont-ice-on-bad-layout, r=wesleywiserMatthias Krüger-7/+28
2023-06-22Only walk the identity substituted version of struct fieldsOli Scherer-1/+22
2023-06-22Handle weak type aliases by immediately resolving them to their aliased typeOli Scherer-9/+14
2023-06-22ICE on types that should not be defining opaque typesOli Scherer-1/+3
2023-06-22Document what is going on in `opaque_types_defined_by`Oli Scherer-0/+3
2023-06-22Move some field extraction logic onto a method on `Node`Oli Scherer-7/+3
2023-06-22Re-use error code for duplicate errorOli Scherer-1/+1
2023-06-22Treat opaque types failing the signature defining scope check as defining, as...Oli Scherer-2/+3
2023-06-22Stop failing eagerly, and collect all opaque types even if some are erroneous.Oli Scherer-12/+6
2023-06-22Point to argument/return type instead of the whole function headerOli Scherer-6/+30
2023-06-22Only create the opaque collector once and visit it many timesOli Scherer-20/+10
2023-06-22Move `opaque_type_origin_unchecked` onto `TyCtxt` and re-use it where it was ...Oli Scherer-1/+1
2023-06-21Don't substitute a GAT that has mismatched generics in OpaqueTypeCollectorMichael Goulet-30/+50
2023-06-21Rollup merge of #112759 - cjgillot:closure-names, r=oli-obkNilstrieb-5/+6
2023-06-20yeet ImplSource::TraitAlias tooMichael Goulet-3/+1
2023-06-19Better error messageMichael Goulet-1/+16
2023-06-19Don't ICE on unnormalized struct tail in layout computationMichael Goulet-7/+13
2023-06-19Store generator field names in GeneratorLayout.Camille GILLOT-4/+5
2023-06-19Make closure_saved_names_of_captured_variables a query.Camille GILLOT-1/+1
2023-06-19Promote unchecked_add/sub/mul/shl/shr to mir::BinOpScott McMurray-2/+3
2023-06-17Remove even more redundant builtin candidatesMichael Goulet-77/+60
2023-06-17Simplify even more candidatesMichael Goulet-21/+19
2023-06-17Simplify some impl source candidatesMichael Goulet-4/+2
2023-06-02Separate AnonConst from ConstBlock in HIR.Camille GILLOT-0/+1
2023-06-01Rename `impl_defaultness` to `defaultness`Deadbeef-8/+8
2023-05-30Rollup merge of #112060 - lcnr:early-binder, r=jackh726Nilstrieb-5/+5
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-4/+5
2023-05-29EarlyBinder::new -> EarlyBinder::bindlcnr-5/+5
2023-05-28Make EarlyBinder's inner value private; and fix all of the resulting errorsKyle Matsuda-3/+1
2023-05-28Replace EarlyBinder(x) with EarlyBinder::new(x)Kyle Matsuda-5/+5
2023-05-25Ensure Fluent messages are in alphabetical orderclubby789-34/+34
2023-05-20ensure !Unpin types do not get noaliasErik Desjardins-17/+19
2023-05-20improve code checking for drop_in_place lang itemErik Desjardins-4/+2
2023-05-20Apply `noalias`, `nonnull`, `dereferenceable`, and `align` attributes uncondi...Patrick Walton-17/+10
2023-05-20[rustc_ty_utils] Add the LLVM `noalias` parameter attribute to `drop_in_place...Patrick Walton-1/+35
2023-05-15Rollup merge of #111578 - Zoxc:query-macro-move, r=cjgillotMatthias Krüger-29/+33
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-29/+33
2023-05-15Auto merge of #111570 - compiler-errors:ct-err, r=BoxyUwUbors-3/+1
2023-05-14Rename const error methods for consistencyMichael Goulet-3/+1
2023-05-12Use the opaque_types_defined_by query to cheaply check for whether a hidden t...Oli Scherer-25/+172
2023-05-12add `query opaque_types_defined_by`lcnr-0/+82
2023-05-11Rollup merge of #106038 - aliemjay:opaque-implied, r=lcnrMichael Goulet-1/+12
2023-05-09add EarlyBinder to thir_abstract_const; remove tcx.bound_abstract_constKyle Matsuda-2/+2
2023-05-08Fix miscompilation when adding default method to `Future`Jonas Schievink-14/+11
2023-05-08Rollup merge of #111265 - spastorino:has_self-opaque_ty, r=compiler-errorsDylan DPC-1/+1
2023-05-06make (try_)subst_and_normalize_erasing_regions take EarlyBinderKyle Matsuda-2/+1
2023-05-07use implied bounds when checking opaque typesAli MJ Al-Nasrawy-1/+12
2023-05-06Rollup merge of #111279 - compiler-errors:core-item-resolve, r=cjgillotMatthias Krüger-13/+71