using System;

abstract class TySub<A, B>
{
    public abstract B Cast(A a);
}

class TySub_Refl<A, B> : TySub<A, B>
  where A : B
{
    public override B Cast(A a)
    {
        return a;
    }
}

static class TySub_Helper
{
    public static TySub<A, B> Refl<A, B>()
        where A : B
    {
        return new TySub_Refl<A, B>();
    }
}

[SharpLab.Runtime.JitGeneric(typeof(string))]
class Hello<T>
{
    public void Store(TySub<T, ICloneable> ts, T value)
    {
        var c = ts.Cast(value);
        c.Clone();
    }
}

public static class C
{
    public static void M()
    {
        var hello = new Hello<String>();
        hello.Store(new TySub_Refl<string, ICloneable>(), "what");
    }
}