{"ast_node_type":"variable","tokens":[{"end":47,"kind":"keyword","start":0,"text":"if"}]}
        if let Some(final_ty) = self.final_ty {
    pub(super) fn complete(self, ctx: &mut InferenceContext<'_>) -> Ty {
            final_ty