mojo-type-safety

Validate type safety in Mojo code including parametric types and trait constraints. Use during code review or when type errors occur.