about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2023-02-24Tweak the slice interners.Nicholas Nethercote-59/+24
2023-02-23Auto merge of #108369 - compiler-errors:ty-error-more, r=BoxyUwUbors-11/+10
2023-02-23Rollup merge of #108350 - compiler-errors:assoc-type-bound-dogfooding, r=oli-obkMatthias Krüger-7/+7
2023-02-23Auto merge of #108324 - notriddle:notriddle/assoc-fn-method, r=compiler-error...bors-7/+36
2023-02-22Rename ty_error_with_guaranteed to ty_error, ty_error to ty_error_miscMichael Goulet-9/+7
2023-02-22Use ty_error_with_guaranteed in many more placesMichael Goulet-2/+3
2023-02-22Auto merge of #108340 - eggyal:remove_traversal_trait_aliases, r=oli-obkbors-219/+260
2023-02-22Remove type-traversal trait aliasesAlan Egerton-219/+260
2023-02-22diagnostics: if AssocFn has self argument, describe as methodMichael Howell-7/+36
2023-02-22Auto merge of #103042 - davidtwco:translation-distributed-ftl, r=oli-obkbors-3/+12
2023-02-22errors: generate typed identifiers in each crateDavid Wood-3/+12
2023-02-22Auto merge of #108300 - oli-obk:elsa, r=eholkbors-3/+2
2023-02-21Rollup merge of #104239 - b-naber:sccs-info, r=jackh726Matthias Krüger-0/+7
2023-02-21address reviewb-naber-1/+1
2023-02-21Rollup merge of #108141 - spastorino:add_rpitit_queries, r=compiler-errorsDylan DPC-0/+4
2023-02-21Use a lock-free datastructure for `source_span`Oli Scherer-3/+2
2023-02-21Associated type bounds in some places in the compilerMichael Goulet-7/+7
2023-02-20Run the resolver after TyCtxt constructionOli Scherer-2/+4
2023-02-20Make untracked.source_span lockable so that resolution can still write to it ...Oli Scherer-2/+2
2023-02-20Make untracked.cstore lockable so that resolution can still write to it when ...Oli Scherer-10/+10
2023-02-19collect region contexts during mir renumberingb-naber-0/+7
2023-02-19Auto merge of #108128 - clubby789:builtin-derived-attr, r=jackh726bors-3/+18
2023-02-19Rollup merge of #108203 - compiler-errors:rpitit-fix-defaults-2, r=jackh726Guillaume Gomez-1/+21
2023-02-19Auto merge of #108228 - Dylan-DPC:rollup-i9t13qu, r=Dylan-DPCbors-1/+4
2023-02-19Rollup merge of #108189 - compiler-errors:non_lifetime_binders-bound-stuff, r...Dylan DPC-1/+4
2023-02-19Auto merge of #107772 - compiler-errors:dyn-star-backend-is-ptr, r=eholkbors-1/+1
2023-02-18Auto merge of #107542 - compiler-errors:param-envs-with-inference-vars-are-cu...bors-6/+4
2023-02-18Assume we can normalize trait default method RPITITs in param-env insteadMichael Goulet-1/+21
2023-02-18Pretty placeholders using their namesMichael Goulet-1/+4
2023-02-18make first component of dyn* use pointer layout+type, and adjust DynStar commentRalf Jung-1/+1
2023-02-18Rollup merge of #108186 - compiler-errors:closures-with-late-bound-types-r-ba...Matthias Krüger-0/+3
2023-02-18Rollup merge of #108162 - clubby789:issue-108155, r=NilstriebMatthias Krüger-0/+6
2023-02-18Move late-bound arg type checks to resolve_bound_varsMichael Goulet-0/+3
2023-02-18Auto merge of #108112 - nnethercote:clarify-iterator-interners, r=oli-obk,com...bors-54/+73
2023-02-17Make encode_attrs use opt_local_def_id_to_hir_id so we can feed it with None ...Santiago Pastorino-0/+4
2023-02-17Auto merge of #108075 - WaffleLapkin:de-arena-allocates-you-OwO, r=Nilstriebbors-7/+7
2023-02-17Don't eagerly convert principal to stringclubby789-0/+6
2023-02-17Replace more `mk_foo` calls with `infer_foo`.Nicholas Nethercote-4/+4
2023-02-17Use `IntoIterator` for `mk_fn_sig`.Nicholas Nethercote-5/+10
2023-02-17Clarify iterator interners.Nicholas Nethercote-41/+54
2023-02-17Remove the `InternIteratorElement` impl for `&'a T`.Nicholas Nethercote-1/+1
2023-02-17Clarify `mk_fn_sig` signature.Nicholas Nethercote-3/+4
2023-02-17Replace `mk_foo` calls with `infer_foo` where possible.Nicholas Nethercote-4/+4
2023-02-17Add `Clause::ConstArgHasType` variantBoxy-4/+20
2023-02-17Auto merge of #107753 - kylematsuda:type-of, r=BoxyUwUbors-33/+34
2023-02-17Auto merge of #108145 - matthiaskrgr:rollup-bgadak1, r=matthiaskrgrbors-16/+29
2023-02-16changes from reviewKyle Matsuda-2/+7
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-37/+24
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-16/+25
2023-02-17Rollup merge of #107489 - compiler-errors:non_lifetime_binders, r=cjgillotMatthias Krüger-16/+29