The application of the unit exterior derivative method in linear variational problems

[DSTxj]

I would like to ask if the unit normal vectors n1 = FacetNormal(mesh1) and n2 = FacetNormal(mesh2) of the two sets of grids can be used simultaneously when defining the linear variational problem? For example, when defining a linear variational system under mesh1, I used it in this way and found that firedrake did not report any errors. But is this actually a problem in theory?

[dham]

I'm a bit confused here. Is this the same as #4746