pub fn get_nonempty_type<'o>(
    resolve: &Resolve,
    ty: Option<&'o Type>
) -> Option<&'o Type>