Functors in declaration can contradict functor generators

[bamarsha]

operation Foo() : Unit is Adj {
    body (...) { }
    controlled auto;
}

Based on the declaration, this operation appears to support only Adj. Based on the functor generators, it appears to support only Ctl. It actually supports both Adj and Ctl.

I think it would be less confusing if this code was invalid. Maybe if an explicit functor list is present in the declaration, it must match exactly, or be a superset of, the functor generators?

[bettinaheim]

@samarsha This is actually by design and the reason having been backward compatibility. It may make sense to revisit that, but it is intentional and according to spec (the spec was that the annotation may contain a partial annotation, even though that may potentially be confusing).

[bamarsha]

Thanks for the explanation, looking forward to having a public Q# specification where I can look for things like this. :)