optimization improvement - INTERSECT with empy query via LIMIT 0 should eliminate both query parts

The following two queries will always return an empty result. However, the second query wastes execution time. If there are a large number of queries connected through the INTERSECT keyword, the wasted computing time will be very large.

MariaDB > USE information_schema;

MariaDB [information_schema]> SELECT * from TABLES CROSS JOIN VIEWS ON TABLES.TABLE_NAME != VIEWS.TABLE_NAME LIMIT 0;
Empty set (0.001 sec)

MariaDB [information_schema]> SELECT * from TABLES CROSS JOIN VIEWS ON TABLES.TABLE_NAME != VIEWS.TABLE_NAME INTERSECT SELECT * from TABLES CROSS JOIN VIEWS ON TABLES.TABLE_NAME NOT LIKE VIEWS.TABLE_NAME LIMIT 0;
Empty set (5.483 sec)