Noted, I changed it now to reflect that. Thanks.Maybe you shouldn't open your post looking like a fact with "games leaving in June" then, but just write it's a possibility.
Also, something like D4 leaving would be more likely than Halo 5. The latter won't happen. Game Pass as a MS first-party collection will continously be build up. They haven't technically said their own games will forever be on the service but they would be shooting themselves in the foot by removing first party titles here. Unlikely, IMO.