Function sizedness_fast_path

pub fn sizedness_fast_path<'tcx>(
    tcx: TyCtxt<'tcx>,
    predicate: Predicate<'tcx>,
) -> bool