Function has_structurally_impossible_sized_predicate 

fn has_structurally_impossible_sized_predicate<'tcx>(
    tcx: TyCtxt<'tcx>,
    sized_trait: DefId,
    predicate: Clause<'tcx>,
) -> bool