Fixed trait checking for same method not working when dealing with different modules