If the House of Lords votes through Cooper-Letwin today, and it gets Royal Assent, then a no deal Brexit has become illegal. If the EU also refuses an extension

If the House of Lords votes through Cooper-Letwin today, and it gets Royal Assent, then a no deal Brexit has become illegal. If the EU also refuses an extension, then the PM has no option but to revoke.