bootstrap:type_inference_typeconstraint_defchoice_convert: fix: must catchup
bootstrap:type_inference_typeconstraint_defchoice_convert: fix: must catchup

Or the tree is not in "ssa" form.

nanocritical/n,nanocritical/n,nanocritical/n,nanocritical/n