Robustified generic argument assertion of 'x' and 'dim'.