canonical_promotion_regression_test.ts