groovy compiler does not resolve generics properly

generics.groovy

import groovy.transform.CompileStatic

@CompileStatic
public abstract class AbstractClass<A, B> {
    private final Class<A> aClass
    private final Class<B> bClass

    AbstractClass(Class<A> aClass, Class<B> bClass) {
        this.aClass = aClass
        this.bClass = bClass
    }

    void print() {
        println("class A {$aClass} and class B {$bClass}")
    }
}

@CompileStatic
public class SomeImpl extends AbstractClass<String, Integer> {
    SomeImpl() {
        super(Integer, String) //this should not compile
    }
}

AbstractClass object = new SomeImpl()
object.print()

Expect compilation error but actually the result is as follow
Result: class A {class java.lang.Integer} and class B {class java.lang.String}