{"ast_node_type":"variable","tokens":[{"end":94,"kind":"keyword","start":0,"text":"let"}]}
            let (ty, binders) = self.db.value_ty(value_def)?.into_value_and_skipped_binders();
            // `Static` is the kind of item that can never be generic currently. We can just skip the binders to get its type.
            stdx::always!(binders.is_empty(Interner), "non-empty binders for non-generic def",);