10 commits

Author	SHA1	Message	Date
Ayaz Hafiz	bcfb258db8	Add a bit to mark syntactically-generalizable types	2023-01-04 17:02:20 -06:00
Ayaz Hafiz	6b5f632364	[skip-ci] Fix borrow issues in constraining	2022-11-11 21:16:22 -06:00
Ayaz Hafiz	59d2de5a55	Constrain with Types SoA, sans borrow checker	2022-11-11 21:16:05 -06:00
Ayaz Hafiz	5ea9b145f6	More coalescing	2022-11-02 15:05:43 -05:00
Ayaz Hafiz	34cd1fb825	Pattern expectation takes a type index	2022-11-02 15:05:40 -05:00
Ayaz Hafiz	2a4fca7034	First pass at expectations taking a type index	2022-11-02 15:05:22 -05:00
Ayaz Hafiz	278754506f	lookup expects type index	2022-10-24 18:14:28 -05:00
Ayaz Hafiz	cca5f53e98	equal_types_var requires a type index	2022-10-24 17:30:04 -05:00
Ayaz Hafiz	b04f704b99	Remove constrain_builtin_imports	2022-07-10 10:46:18 -04:00
Anton-4	eee85fa45d	moved all crates into seperate folder + related path fixes	2022-07-01 17:37:43 +02:00

Renamed from compiler/constrain/src/module.rs (Browse further)