Closed
Description
In the debug implementation of DefId the name is printed, so maybe it should also have a name() function like in CrateDef?
{{ message }}
No type
No projects
No milestone
None yet
No branches or pull requests
In the debug implementation of DefId the name is printed, so maybe it should also have a name() function like in CrateDef?