make join points use borrow signature

This commit is contained in:
Folkert 2020-08-15 00:16:03 +02:00
parent 294273283b
commit b0e4a3fd47

View file

@ -596,11 +596,12 @@ impl<'a> Context<'a> {
Join { Join {
id: j, id: j,
parameters: xs, parameters: _,
remainder: b, remainder: b,
continuation: v, continuation: v,
} => { } => {
let xs = *xs; // get the parameters with borrow signature
let xs = self.param_map.get_join_point(*j);
let v_orig = v; let v_orig = v;