Skip to content
Snippets Groups Projects
Commit e3ddf58d authored by Krzysztof Gogolewski's avatar Krzysztof Gogolewski Committed by Marge Bot
Browse files

linear types: Don't add external names to the usage env 

This has no observable effect, but avoids storing useless data.
parent ca611447
No related branches found
No related tags found
No related merge requests found
Pipeline #67260 canceled
Stage: tool-lint
Stage: quick-build
Stage: full-build
Stage: packaging
Stage: testing
Stage: deploy
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment