19 commits

Author	SHA1	Message	Date
oxalica	665c0cb547	Forward Iterator::{count,last,nth} for IdxRange random access	2023-05-06 22:00:04 +08:00
oxalica	86eaf53600	Fix typo in docs	2023-05-06 21:27:35 +08:00
oxalica	4e4940e21e	Add Arena::alloc_many to easily get IdxRange ... There are no currently ways to get `IdxRange` without manually offseting `Idx`. Providing a method for multiple-allocation simplifies this process and makes it less error-prone.	2023-05-06 21:21:00 +08:00
oxalica	300f3a1b43	Impl ExactSizeIterator for IdxRange	2023-05-06 21:15:57 +08:00
Lukas Wirth	ce0896b78c	Allocate ExprScopes ScopeEntries in a single arena instead of per ScopeData	2023-04-14 12:05:11 +02:00
Lukas Wirth	7f0fbf7f9d	Switch crate graph to use an Arena instead of a hashmap	2023-04-05 10:32:02 +02:00
Lukas Wirth	bea1c71f83	Use struct_tail_without_normalization in Expectation::rvalue_hint	2023-03-29 14:49:06 +02:00
hkalbasi	051dae2221	Support record pattern MIR lowering	2023-03-17 13:08:36 +03:30
hkalbasi	ac04bfd7a7	Add View Mir command and fix some bugs	2023-03-06 21:09:09 +03:30
hkalbasi	86b5b609f1	Compute data layout of types	2022-12-04 00:29:34 +03:30
Lukas Wirth	8828049b23	Lift out the module scope into a field in the Resolver ... A Resolver *always* has a module scope at the end of its scope stack, instead of encoding this as an invariant we can just lift this scope out into a field, allowing us to skip going through the scope vec indirection entirely.	2022-09-02 17:02:12 +02:00
KaDiWa	232176b46a	remove imports that are also in edition 2021's prelude	2022-08-09 01:16:32 +02:00
oxalica	326ffee5b7	Returns the old value for la_arena::ArenaMap::insert	2022-08-07 04:53:23 +08:00
oxalica	1a94193602	Impl more methods and traits for la_arena::ArenaMap	2022-08-07 04:52:49 +08:00
oxalica	10f870eff4	Impl entry-API for la_arena::ArenaMap ... We enforce integral and `Copy` key, so some key-related functions are not necessary since user can just reuse the index for the `entry` call.	2022-08-03 18:31:52 +08:00
oxalica	c203ac2cf5	Add more constructors for la-arena	2022-08-03 17:44:06 +08:00
Amos Wenger	816f7fe12a	Run cargo fix --edition-idioms	2022-07-20 15:02:08 +02:00
Amos Wenger	23d25a3094	Enable extra warnings required by rust-lang/rust	2022-07-20 15:00:17 +02:00
Aleksey Kladov	57cb65bb7a	internal: vendor lsp-server	2022-05-14 21:15:43 +01:00