Repository navigation

Transition to valtrees pt1 - #97019

Merged

bors merged 1 commit into

rust-lang:masterfrom

b-naber:transition-to-valtrees-pt1

May 18, 2022

Merged

Transition to valtrees pt1#97019
bors merged 1 commit into
rust-lang:masterfrom
b-naber:transition-to-valtrees-pt1

Commits on May 16, 2022
- use GlobalId in eval_to_valtree query and introduce query for valtree_to_const_val
  b-naber
  committed
  96b36d6