Static Analysis for Generic Safety

Use custom lints to enforce rules about how your generic components should be used.