Function emit_property_rows 

pub(crate) fn emit_property_rows<'tcx>(
    _tcx: TyCtxt<'tcx>,
    results: &[&PropertyCheckResult<'tcx>],
)