Type Enclosing: do not increase verbosity if the returned type is syntactically identical to the previous one #17

Closed

Assignees

opened

on Jan 14, 2025

see #14 (review)

Metadata

Assignees

xvw

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests