handle case of inferred split declaration in Specify Type