Divergence of Fsub type checking