3babcc695 Fix an inverted logic scenerio for $type_env