(computing) belonging to a type system that likely would not result in an error, if the variable passed does not closely match the expected type.