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

Age	Commit message (Collapse)	Author	Lines
2023-01-11	Move /src/test to /tests	Albert Larsan	-18/+0

2021-09-15	Move object safety suggestions to the end of the error	Esteban Kuber	-1/+1

2021-07-20	Support HIR wf checking for function signatures	Aaron Hill	-2/+2
	During function type-checking, we normalize any associated types in the function signature (argument types + return type), and then create WF obligations for each of the normalized types. The HIR wf code does not currently support this case, so any errors that we get have imprecise spans. This commit extends `ObligationCauseCode::WellFormed` to support recording a function parameter, allowing us to get the corresponding HIR type if an error occurs. Function typechecking is modified to pass this information during signature normalization and WF checking. The resulting code is fairly verbose, due to the fact that we can no longer normalize the entire signature with a single function call. As part of the refactoring, we now perform HIR-based WF checking for several other 'typed items' (statics, consts, and inherent impls). As a result, WF and projection errors in a function signature now have a precise span, which points directly at the responsible type. If a function signature is constructed via a macro, this will allow the error message to point at the code 'most responsible' for the error (e.g. a user-supplied macro argument).
2020-10-20	review comments	Esteban Küber	-1/+1

2020-10-20	Tweak "object unsafe" errors	Esteban Küber	-5/+7
	Fix #77598.
2020-02-02	Use more appropriate spans on object unsafe traits and provide structured ↵	Esteban Küber	-1/+1
	suggestions when possible
2020-02-02	Wording changes to object unsafe trait errors	Esteban Küber	-1/+5
	Stemming from the thread at https://twitter.com/indygreg/status/1223279056398929920
2020-02-02	Point at arguments or output when fn obligations come from them, or ident ↵	Esteban Küber	-2/+2
	when they don't
2019-09-02	account for DUMMY_SP and correct wording	Esteban Küber	-1/+1

2019-09-02	On object safety violation, point at source when possible	Esteban Küber	-2/+3

2019-05-29	Update ui test suite to use dyn	memoryruins	-2/+2

2018-12-25	Remove licenses	Mark Rousskov	-1/+1

2018-03-14	update tests	Guillaume Gomez	-1/+1

2018-02-26	Update UI tests	Vadim Petrochenkov	-1/+1

2018-02-25	Update ui tests	Guillaume Gomez	-0/+1

2018-02-08	Move some E0XXX to `ui`	Esteban Küber	-0/+10