fn strip_type_from_pattern(pat: &Pat) -> Result<Pat, Error>