{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"self_ty:"}]}
    self_ty: Ty<'tcx>,
    receiver_ty: Ty<'tcx>,
    arbitrary_self_types_enabled: Option<ArbitrarySelfTypesLevel>,