semantic: Correctly handle non-scope -> scope in overloads.