-
Notifications
You must be signed in to change notification settings - Fork 5.1k
Open
Labels
area-Tools-ILVerificationIssues related to ilverify tool and IL verification in generalIssues related to ilverify tool and IL verification in generalruntime-asyncuntriagedNew issue has not been triaged by the area ownerNew issue has not been triaged by the area owner
Description
ILVerify does not support runtime async, which leads to various "verification" errors of valid IL. There are two flavors of this:
- In a
Task
orValueTask
returning method, ILVerify does not like that the stack is empty when callingret
. - In a
Task<T>
orValueTask<T>
returning method, ILVerify does not like that the stack has aT
, not aTask<T>
orValueTask<T>
.
Relates to feature #109632
Metadata
Metadata
Assignees
Labels
area-Tools-ILVerificationIssues related to ilverify tool and IL verification in generalIssues related to ilverify tool and IL verification in generalruntime-asyncuntriagedNew issue has not been triaged by the area ownerNew issue has not been triaged by the area owner