{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"///"}]}
    /// Makes `actual <: expected`. For example, if type-checking a
impl<'a, 'tcx> At<'a, 'tcx> {
    /// call like `foo(x)`, where `foo: fn(i32)`, you might have