wrong_type.ggo:5: type specification not requested