Closed
Description
In the following code:
template <typename T>
struct Waldo {
static void find();
};
template <typename T>
void foo(const Waldo<T>& t) {
t.find();
}
HeuristicResolver fails to resolve the call to t.find()
to Waldo::find()
because it's applying const-checking even though that doesn't apply to static methods (even if you call them through an instance, as in this example).