Considering DC is currently fucking up their cinematic universe’s versions of their main roster right now, of course Marvel didn’t have a problem with it. Also, there has been a crossover comic of almost every big Marvel character meeting a big DC character so it's not a huge deal I guess...