def func[S, T: S]():
    pass