In Once the main character writes a song that the plot of the musical revolves around. Hadestown too has elements of this. Neither are 100% diagetic but feature songs which serve the story.
Musical Theatre
For lovers, performers and creators of musical theatre (or theater). Broadway, off-Broadway, the West End, other parts of the US and UK, and musicals around the world and on film/TV. Discussion encouraged. Welcome post: https://tinyurl.com/kbinMusicals See all/older posts here: https://kbin.social/m/Musicals
Although I love musicals, I have not seen a wide enough variety to know of a fully diegetic musical, only musicals where some of the songs are diegetic, with the possible exception of Urinetown where the narrator characters imply everyone else in the show knows it's a musical and therefore are aware of the songs being sung.
LITTLE SALLY: But aren't you scared the rebels will see you?
LOCKSTOCK: Oh, I may be a cop, but I'm also the narrator. So no one can touch me, not if they want the show to end.
So I went and did a brief search and found some answers on TVTropes.org! Some of the responses out of the Theatre section are worth looking at, especially since one of the entries (Camp Rock, under "Films — Live Action") is also a full musical you can license from MTI and put on.
A lot of stage and movie/TV musicals where the characters are actually singers have prominent diegetic elements - so Beautiful the Carol King musical, Jersey Boys, Elvis a Musical Revolution, The Commitments, Fame etc.
In the recent Star Trek: Strange New Worlds episode "Subspace Rhapsody" all the characters were aware that they were breaking into song, much like they were in "Once More With Feeling". Which isn't surprising as OMWF was a very clear influence on the Star Trek musical.