Explicitly binding capabilities triggers spurious warning

[b-studios]

effect Exc(): Unit
def main() =
  try { e.Exc() } with e: Exc { () }

Expected behavior: No warning.

[jiribenes]

Today I've independently ran into this issue as well.

effect Foo {
  def foo(): String
} 

def main() = {
  try { f.foo() }
  with f : Foo { 
    def foo() = resume("bar") 
  }
}

[b-studios]

Yes, this is guaranteed to occur every single time, since we do not consider bound capabilities as "effect usage" at the moment. :)