12 Commits

Author	SHA1	Message	Date
Chayim Refael Friedman	028c47999d	Remove duplicate method from hir::Type ... I added it by mistake in #18927. I chose to keep the method as not static, because it's more comfortable, and keep the name `add_reference()` and not `reference()`, because it is clearer and better matches `strip_reference[s]()`.	2025-01-27 18:40:01 +02:00
Tavo Annus	3825d8bd0f	Increase search depth to account for more granual steps	2024-06-22 15:06:07 +03:00
Tavo Annus	a3315fe028	Remove remove not-very-helpful optimizations	2024-06-22 10:17:33 +03:00
Tavo Annus	c87609fef1	Add tactic for associated item constants	2024-06-18 22:08:44 +03:00
Tavo Annus	0f6842700f	Fix data_constructor ignoring generics for struct	2024-05-25 13:09:26 +03:00
Tavo Annus	ab18604309	Make term search fuel configurable	2024-05-08 19:46:33 +03:00
Tavo Annus	9e1adc76e5	Use unit of work as fuel instead of time	2024-05-07 22:13:27 +03:00
Tavo Annus	d253617bba	Add time based fuel to term search	2024-05-06 22:13:09 +03:00
Tavo Annus	c3ab435b54	Collapse term search exprs before Cartesian product to avoid OOM	2024-05-06 20:29:34 +03:00
Tavo Annus	be6f8e2648	Add make_tuple tactic	2024-02-26 20:17:09 +02:00
Tavo Annus	8bd30e9b3f	Improve generics handling in term search	2024-02-26 20:17:09 +02:00
Tavo Annus	125791386d	Cleanup term search related changes	2024-02-11 14:35:54 +02:00