Yes, the line will be high, but the buffer inside the PIC? It will be revised when the port is read again.

I 'll tey to find it in the datasheet. There was a note about this.

Ioannis