Lukas Wirth
|
5d121cdb45
|
Introduce Ty::Alias
|
2021-03-01 14:24:00 +01:00 |
|
Lukas Wirth
|
407196b8c0
|
Lift FnPointer into a struct
|
2021-02-28 23:53:21 +01:00 |
|
Lukas Wirth
|
a3fd2faba5
|
Remove Substs from Ty::ForeignType
|
2021-02-28 20:44:09 +01:00 |
|
Lukas Wirth
|
0e995adcf6
|
Turn Ty::Tuple variant into a tuple-variant
|
2021-02-28 20:39:43 +01:00 |
|
Lukas Wirth
|
a3f5491a1a
|
Inline TypeCtor into Ty
|
2021-02-28 19:13:37 +01:00 |
|
Lukas Wirth
|
9e5192d917
|
Don't lower TypeBound::Lifetime as GenericPredicate::Error
|
2021-02-20 19:08:20 +01:00 |
|
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 |
|