Merge pull request #892 from hvitved/csharp/get-arg-for-param-bad-magic

C#: Prevent bad magic in `getArgumentForParameter()`
This commit is contained in:
Calum Grant
2019-02-07 10:50:21 +00:00
committed by GitHub

View File

@@ -76,6 +76,7 @@ class Call extends DotNet::Call, Expr, @call {
* }
* ```
*/
pragma[nomagic]
override Expr getArgumentForParameter(DotNet::Parameter p) {
getTarget().getAParameter() = p and
(