@checked for declaring a parameter as covariant was recently added to Analyzer, but we don't support this in DDC code generation, so it's a soundness problem until we fix it.

Note we also have a problem with generic types: #27259, however that one is a tad different. It is attempting to optimize covariant checks to only appear for parameters when necessary, but the optimization is what gets us into trouble.