{"ast_node_type":"variable","tokens":[{"end":79,"kind":"keyword","start":0,"text":"if"}]}
            if let Some(crit) = def.sizedness_constraint(ecx.cx(), sizedness) {
        ty::Adt(def, args) => {
                Ok(ty::Binder::dummy(vec![crit.instantiate(ecx.cx(), args)]))