{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"///"}]}
/// namespace.
/// the constructor function `(usize) -> Foo` which lives in the values
pub(crate) fn ty_query(db: &dyn HirDatabase, def: TyDefId) -> Binders<Ty> {