Jonas Schievink
|
216dc856c5
|
Wrap BuiltinType in code model
|
2021-02-11 19:52:33 +01:00 |
|
Jonas Schievink
|
3de8f57c51
|
Make ModuleId's krate field private
|
2021-01-22 18:09:55 +01:00 |
|
Aramis Razzaghipour
|
9b5ba090db
|
Remove map module from la-arena public API
It’s unlikely that more items will be added to the module,
so it’s simpler for users if `ArenaMap` is re-exported
and the module made private.
|
2021-01-15 11:14:04 +11:00 |
|
Aleksey Kladov
|
4c4e54ac8a
|
prepare to publish el libro de arena
|
2021-01-14 19:06:02 +03:00 |
|
Vincent Esche
|
c8c2bd097a
|
Fixed typos in local bindings
|
2021-01-09 15:41:29 +01:00 |
|
Lukas Wirth
|
0acdb73076
|
Add ConstParams to the HIR
|
2021-01-01 10:06:42 +01:00 |
|
Lukas Wirth
|
fa65d6ba85
|
Higher-ranked trait bounds for where clauses
|
2020-12-17 22:01:42 +01:00 |
|
Lukas Wirth
|
ae8a802085
|
Ignore lifetime params in substitutions
|
2020-12-13 11:34:44 +01:00 |
|
Lukas Wirth
|
11f8664182
|
Add Lifetimes to the HIR
|
2020-12-12 00:56:52 +01:00 |
|
Charles Lew
|
3fff5aa4d7
|
Use Ty::apply instead of simple and fix method resolution.
|
2020-09-17 00:58:41 +08:00 |
|
Charles Lew
|
389d9a6c2d
|
Lower extern type alias as foreign opaque type.
|
2020-09-16 20:57:14 +08:00 |
|
Aleksey Kladov
|
6a77ec7bbe
|
Rename ra_hir_ty -> hir_ty
|
2020-08-13 16:35:29 +02:00 |
|