Prepare for making new resolver the default #20461
Annotations
3 warnings
|
Source/DafnyCore/AST/Statements/Assignment/AssignStatement.cs#L28
Possible null reference argument for parameter 'source' in 'IEnumerable<IdentifierExpr> Enumerable.SelectMany<Statement, IdentifierExpr>(IEnumerable<Statement> source, Func<Statement, IEnumerable<IdentifierExpr>> selector)'.
|
|
Source/DafnyCore/AST/Statements/Assignment/AssignStatement.cs#L28
Possible null reference argument for parameter 'source' in 'IEnumerable<IdentifierExpr> Enumerable.SelectMany<Statement, IdentifierExpr>(IEnumerable<Statement> source, Func<Statement, IEnumerable<IdentifierExpr>> selector)'.
|
|
Source/DafnyCore/AST/Statements/Assignment/AssignStatement.cs#L28
Possible null reference argument for parameter 'source' in 'IEnumerable<IdentifierExpr> Enumerable.SelectMany<Statement, IdentifierExpr>(IEnumerable<Statement> source, Func<Statement, IEnumerable<IdentifierExpr>> selector)'.
|
The logs for this run have expired and are no longer available.
Loading