After https://github.com/dotnet/fsharp/pull/9510 is merged, WebSharper's heuristics for trait call resolution can be removed and use information from the typed AST insted.