Add warnings for cases where enforce_type would change behavior