ignore the declared type, in preparation for #1063