{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"None"}]}
            None => Substitution::empty(Interner),
            Some(it) => TyBuilder::placeholder_subst(self.db, it),
        }