Well Mary was totally excluded by the English line of succession when she married and so she had not the benefit of being restored by her father is his last years (and also Henry VIII’s third act of succession explicitly excluded the line of his daughter lady Mary Tudor and the one of his sister Margaret as foreigns, reserving the English Crown only to someone who was born in England).
Edward VI’s actions were only the nails on the coffin of Electress Mary’s ambition.
Sure Edward was totally against giving Mary any chance to inherit England and his actions in that sense were pretty clear when he had ArchBishop Cranmer to declare invalid the annulment of his father’s second wedding, restoring the title of Princess to his sister Elizabeth, Countess of Leicester and saying who if he had no child by his wife Mary, Queen of Scotland, the line of succession was composed exclusively by:
Princess Elizabeth Dudley, Countess of Leicester and her heirs
Jane Seymour, Countess of Hertford and her heirs
Lady Katherine Herbert and her heirs
Margaret Brandon, Duchess of Suffolk and her heirs
Queen Mary of Scotland and England and any heirs (born and raised in the British islands) by a successive wedding
Margaret Stewart, Countess of Lennox and her heirs.
[OOC: Two minutes and I will add some notes for making clear the ATL weddings of the girls, but I think their identities are pretty clear
@Kellan Sullivan: in OTL was no Imperial election in 1553 as Ferdinand was already elected as King of the Romans in 1531. Maybe you can push some earlier the OTL election of 1562 in which his son Maximilian was elected as King of the Romans and use that?]