{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"Ty(Ty<'tcx>),"}]}
    Ty(Ty<'tcx>),
    /// a different type. Find out when that type first became incompatible.
    /// When we fail during method argument checking, try to find out if a previous