fn should_encode_fn_impl_trait_in_trait<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: DefId,
) -> bool