rust - https://github.com/rust-lang/rust

Age	Commit message (Collapse)	Author	Lines
2022-10-27	Accept `TyCtxt` instead of `TyCtxtAt` in `Ty::is_*` functions	Maybe Waffle	-1/+1
	Functions in answer: - `Ty::is_freeze` - `Ty::is_sized` - `Ty::is_unpin` - `Ty::is_copy_modulo_regions`
2022-10-07	Change InferCtxtBuilder from enter to build	Cameron Steffen	-13/+5

2022-10-07	Remove TypeckResults from InferCtxt	Cameron Steffen	-3/+3

2022-09-05	Point out when a callable is not actually callable because its return is not ↵	Michael Goulet	-0/+17
	sized
2022-07-06	Update TypeVisitor paths	Alan Egerton	-1/+1

2021-12-12	Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk"	Deadbeef	-1/+0
	This reverts commit ff2439b7b9bafcfdff86b7847128014699df8442, reversing changes made to 2a9e0831d6603d87220cedd1b1293e2eb82ef55c.
2021-12-03	Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino"	Santiago Pastorino	-0/+1
	This reverts commit 18bb8c61a975fff6424cda831ace5b0404277145, reversing changes made to d9baa361902b172be716f96619b909f340802dea.
2021-11-29	Completely remove ConstnessAnd	Oli Scherer	-1/+0

2021-10-15	Move some outlives bounds things from rustc_trait_selection to rustc_typeck	jackh726	-49/+0

2021-09-15	Remove ToPredicate impls that use Binder::dummy	jackh726	-1/+1

2021-09-09	Use FxHashSet instead of Vec for well formed tys	jackh726	-3/+4

2021-08-25	trailing whitespace	Niko Matsakis	-1/+1

2021-08-25	update docs for `type_implements_trait`	Niko Matsakis	-0/+4

2021-08-25	type_implements_trait consider obligation failure on overflow	Aman Arora	-1/+1

2021-07-16	Add initial implementation of HIR-based WF checking for diagnostics	Aaron Hill	-5/+2
	During well-formed checking, we walk through all types 'nested' in generic arguments. For example, WF-checking `Option<MyStruct<u8>>` will cause us to check `MyStruct<u8>` and `u8`. However, this is done on a `rustc_middle::ty::Ty`, which has no span information. As a result, any errors that occur will have a very general span (e.g. the definintion of an associated item). This becomes a problem when macros are involved. In general, an associated type like `type MyType = Option<MyStruct<u8>>;` may have completely different spans for each nested type in the HIR. Using the span of the entire associated item might end up pointing to a macro invocation, even though a user-provided span is available in one of the nested types. This PR adds a framework for HIR-based well formed checking. This check is only run during error reporting, and is used to obtain a more precise span for an existing error. This is accomplished by individually checking each 'nested' type in the HIR for the type, allowing us to find the most-specific type (and span) that produces a given error. The majority of the changes are to the error-reporting code. However, some of the general trait code is modified to pass through more information. Since this has no soundness implications, I've implemented a minimal version to begin with, which can be extended over time. In particular, this only works for HIR items with a corresponding `DefId` (e.g. it will not work for WF-checking performed within function bodies).
2021-07-06	Make type_implements_trait not a query	Aman Arora	-1/+44

2021-03-18	Fix use of bare trait objects everywhere	Vadim Petrochenkov	-1/+1

2020-12-29	Remove `compile-fail` test suite	Vadim Petrochenkov	-1/+1

2020-11-16	compiler: fold by value	Bastian Kauschke	-4/+4

2020-08-30	mv compiler to compiler/	mark	-0/+182