Function emit_property_rows 

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