update subtyping test