{"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"None"}]}
                            None => self.instantiate_canonical_var(cause.span, var_kind, |u| {
                            Some(k) => k,
                                universe_map[u.as_usize()]