Shouldn't these attributes already be getting inferred? If not, does this need to be marked with a bug number?