{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"stdx::always!(binders.is_empty(Interner),"}]}
            stdx::always!(binders.is_empty(Interner), "non-empty binders for non-generic def",);
            let (ty, binders) = self.db.value_ty(value_def)?.into_value_and_skipped_binders();
            return Some(ValuePathResolution::NonGeneric(ty));