15 commits

Author	SHA1	Message	Date
Florian Diebold	d8f8b495ad	Ignore type bindings in generic_predicates_for_param ... This allows us to handle more cases without a query cycle, which includes certain cases that rustc accepted. That in turn means we avoid triggering salsa-rs/salsa#257 on valid code (it will still happen if the user writes an actual cycle). We actually accept more definitions than rustc now; that's because rustc only ignores bindings when looking up super traits, whereas we now also ignore them when looking for predicates to disambiguate associated type shorthand. We could introduce a separate query for super traits if necessary, but for now I think this should be fine.	2021-03-21 15:29:03 +01:00
Florian Diebold	0623bb4d71	Test for a Salsa bug	2021-03-21 13:33:06 +01:00
Florian Diebold	8e7e405f6a	Remove WhereClause::Error ... Chalk doesn't have it, and judging from the removed code, it wasn't useful anyway.	2021-03-20 10:51:00 +01:00
Jonas Schievink	a85b32abdc	Add test for self-calling inner function	2021-03-17 22:30:09 +01:00
Florian Diebold	287e9a870c	Fix unification logic	2021-03-15 19:14:10 +01:00
Jonas Schievink	12f6bdcfd9	Check ancestor maps when computing traits in scope	2021-03-09 18:27:23 +01:00
Laurențiu Nicola	fc9eed4836	Use upstream cov-mark	2021-03-08 22:19:44 +02:00
Lukas Wirth	0799288f01	Don't write trailing whitespace when formatting empty GenericPredicates	2021-02-20 20:43:04 +01:00
Lukas Wirth	9e5192d917	Don't lower TypeBound::Lifetime as GenericPredicate::Error	2021-02-20 19:08:20 +01:00
Jonas Schievink	2382dce2d3	Slightly expand test	2021-02-10 17:37:15 +01:00
Jonas Schievink	3c5734712a	Add more tests	2021-02-10 15:59:20 +01:00
Lukas Wirth	3d6480bc31	Render Fn* trait objects and impl types as rust does	2021-01-13 13:29:47 +01:00
oxalica	251ef93ac3	Implement async blocks	2020-09-10 20:01:23 +08:00
Aleksey Kladov	b0fd3faf36	Switch to expect_test from crates.io	2020-08-21 13:19:31 +02:00
Aleksey Kladov	6a77ec7bbe	Rename ra_hir_ty -> hir_ty	2020-08-13 16:35:29 +02:00

Renamed from crates/ra_hir_ty/src/tests/traits.rs (Browse further)