diff --git a/chorus_lib/src/core.rs b/chorus_lib/src/core.rs index 5fe92ab..8ab9a2c 100644 --- a/chorus_lib/src/core.rs +++ b/chorus_lib/src/core.rs @@ -364,10 +364,11 @@ where /// Constructs a `Located` struct *NOT* located at the projection target. /// /// Use this method to run a choreography that takes a located value as an input. - pub fn remote(&self, _l2: L2) -> Located + pub fn remote(&self, at: L2) -> Located where L2: Member<>::Remainder, Index2>, { + _ = at; Located::remote() }