holeResultInferred -> holeResultExpr