From 68ca49991818aacc4880d6e95a05755b6a9e6345 Mon Sep 17 00:00:00 2001 From: Shun Kashiwa Date: Wed, 4 Oct 2023 00:06:03 -0700 Subject: [PATCH] improve inlay hint --- chorus_lib/src/core.rs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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() }