Leave the responsibility to create Fresh lifetimes to lowering.
This commit is contained in:
@@ -732,7 +732,9 @@ pub enum LifetimeRes {
|
||||
/// Created a generic parameter for an anonymous lifetime.
|
||||
Fresh {
|
||||
/// Id of the generic parameter that introduced it.
|
||||
param: LocalDefId,
|
||||
///
|
||||
/// Creating the associated `LocalDefId` is the responsibility of lowering.
|
||||
param: NodeId,
|
||||
/// Id of the introducing place. See `Param`.
|
||||
binder: NodeId,
|
||||
},
|
||||
|
||||
Reference in New Issue
Block a user