Revert "Remove ty::get call; r=eddyb."

This reverts commit bdcbd19b063123b193afeaca4a4455e49475067e.
Update green.