Add test to detect a case of bad implicition promotion