add wip tests for the interaction of traits and constants

[hiphop-php.git] / hphp / hack / test / shape_analysis / solve_constraints / trait_const_1_wip.php

<?hh

trait TheTrait {
  // T136213776: expect ?b key in shape type
  const dict<string, mixed> DICT = dict[];
}

class TheClass {
  use TheTrait;
}

function main(): void {
  TheClass::DICT['b'];
}