Map generic parameters to their resolved id in extern specs - Githubissues

flux-rs / flux

Refinement Types for Rust

MIT License

660 stars 21 forks source link

Map generic parameters to their resolved id in extern specs #836

Closed nilehmann closed 1 month ago

nilehmann commented 1 month ago

Add generic parameters to the extern spec mapping
Resolve generic parameters to the resolved id