{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"///"}]}
    /// type.
    /// The expectation that the type of the expression needs to equal the given
    fn has_type(ty: Ty) -> Self {