From 5f30804e9038146b69ff4bf01bf80bd721742a46 Mon Sep 17 00:00:00 2001 From: Florian Deljarry Date: Sun, 29 Sep 2019 22:17:53 -0400 Subject: [PATCH] src/contracts: Fix contracts on virtual and generic type Signed-off-by: Florian Deljarry --- src/contracts.nit | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/contracts.nit b/src/contracts.nit index 156bb53..8244170 100644 --- a/src/contracts.nit +++ b/src/contracts.nit @@ -158,7 +158,7 @@ private class CallSiteVisitor var visited_mpropdef = visited_method.mpropdef assert contract_facet != null and visited_mpropdef != null - var unsafe_mtype = callsite.recv.resolve_for(callsite.recv, callsite.anchor, visited_mpropdef.mclassdef.mmodule, false) + var unsafe_mtype = callsite.recv.resolve_for(visited_mpropdef.mclassdef.bound_mtype, callsite.anchor, visited_mpropdef.mclassdef.mmodule, true) # This check is needed because the contract can appear after the introduction. if unsafe_mtype.has_mproperty(visited_method.mpropdef.mclassdef.mmodule, contract_facet) then -- 1.7.9.5