C++ std seems to make it clear that:

*std::launder(foo+4)

works if foo is a pointer to storage.
Does :

std::launder(foo)[4]

Also work? I see examples of people using it on stack overflow, but I cannot parse the standardese to conclude this is allowed.