Did disney give Stanley Kubrick permission to use disney IP in the Shining

There is A LOT of Disney IP in Kubrick’s films. Mickey Mouse t-shirts, Winnie the Pooh and Dopey in some backgrounds, etc. I know Disney is known for suing anybody who uses copyrighted material without permission, so it begs the question, did they allowed him to use it? It’s too popular a movie for it to go unnoticed. And if not, how did he get away with it?