rust/compiler/rustc_middle/src/ty
bors 229d0a9412 Auto merge of #91769 - estebank:type-trait-bound-span-2, r=oli-obk
Tweak assoc type obligation spans

* Point at RHS of associated type in obligation span
* Point at `impl` assoc type on projection error
* Reduce verbosity of recursive obligations
* Point at source of binding lifetime obligation
* Tweak "required bound" note
* Tweak "expected... found opaque (return) type" labels
* Point at set type in impl assoc type WF errors

r? `@oli-obk`

This is a(n uncontroversial) subset of #85799.
2021-12-11 21:57:19 +00:00
..
consts inline stuff 2021-08-26 11:14:31 +02:00
inhabitedness Fix typos “a”→“an” 2021-08-22 15:35:11 +02:00
print Reduce boilerplate around infallible folders 2021-12-02 16:14:16 +00:00
_match.rs Add variance-related information to lifetime error messages 2021-06-06 12:37:42 -05:00
adjustment.rs Add some backticks to the rustc_middle::ty::adjustment::Adjustment docs 2021-05-24 15:47:28 -07:00
adt.rs Rollup merge of #90538 - camelid:doc-recur-ty, r=estebank 2021-12-04 02:26:20 +01:00
assoc.rs handle the case when container is not impl 2021-08-13 09:28:50 +00:00
binding.rs words 2020-11-16 22:42:09 +01:00
cast.rs Use rustc_type_ir::{IntTy,UintTy,FloatTy} instead of the rustc_ast` ones in types 2021-01-18 21:09:23 +01:00
closure.rs Fix typos “an”→“a” and a few different ones that appeared in the same search 2021-08-22 18:15:49 +02:00
codec.rs Remove unnecessary lifetime argument from arena macros. 2021-11-17 09:38:30 +11:00
consts.rs Rename functions reflect that inline const is also "typeck_child" 2021-11-07 04:00:34 +00:00
context.rs Use a more accurate Span for 'static obligation from return type 2021-12-10 03:08:24 +00:00
diagnostics.rs Use a more accurate Span for 'static obligation from return type 2021-12-10 03:08:24 +00:00
erase_regions.rs Reduce boilerplate around infallible folders 2021-12-02 16:14:16 +00:00
error.rs Tweak assoc type obligation spans 2021-12-11 02:32:15 +00:00
fast_reject.rs Remove re-export. 2021-10-03 16:08:54 +02:00
flags.rs review 2021-08-26 11:14:31 +02:00
fold.rs Rename TypeFolderFallible to FallibleTypeFolder 2021-12-02 16:14:18 +00:00
generics.rs rustc: Remove #[rustc_synthetic] 2021-11-18 14:32:29 +08:00
impls_ty.rs Fully remove rustc_middle::ich. 2021-10-03 16:08:55 +02:00
instance.rs allow for failure of subst_normalize_erasing_regions in const_eval 2021-12-05 12:43:39 +01:00
layout.rs Rollup merge of #90854 - sanxiyn:unsized-and-uninhabited, r=estebank 2021-12-03 06:24:12 +01:00
list.rs Improve the readability of List<T>. 2021-12-09 15:20:58 +11:00
mod.rs Store impl_trait_fn inside OpaqueTyOrigin. 2021-12-07 21:30:45 +01:00
normalize_erasing_regions.rs allow for failure of subst_normalize_erasing_regions in const_eval 2021-12-05 12:43:39 +01:00
query.rs Avoid a branch on key being local for queries that use the same local and extern providers 2021-10-25 13:36:23 +02:00
relate.rs Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino" 2021-12-03 10:11:21 -03:00
structural_impls.rs Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino" 2021-12-03 10:11:21 -03:00
sty.rs Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino" 2021-12-03 10:11:21 -03:00
subst.rs Rename TypeFolderFallible to FallibleTypeFolder 2021-12-02 16:14:18 +00:00
trait_def.rs use indexmap instead of hashmap 2021-09-21 08:24:23 +02:00
util.rs Rollup merge of #91462 - b-naber:use-try-normalize-erasing-regions, r=jackh726 2021-12-03 06:24:17 +01:00
vtable.rs Turn tcx.vtable_allocation() into a query. 2021-10-07 20:03:00 +02:00
walk.rs ignore const substs in implicit_infer 2021-08-26 11:00:30 +02:00