The compiler compains about static resolved parameter

Question

    type Test<\'T> =
        static member from : unit -> \'T[] = fun () -> Array.empty


    let inline testFun< ^T, ^S when ^T : (static member from