Tracking issue: extensions to the unused*In linter #35340

Open

opened

on Feb 15, 2026

MetricSpace vs MetrisableSpace: an old attempt was made in feat: the metrisableSpace linter #17519 (which did not quite work)
MeasureSpace vs MeasurableSpace
Invertible and Unique: see feat: lint on declarations mentioning Invertible or Unique #17518 for an old attempt

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests