User cannot move shared file to shared folder

Steps to reproduce

1. User A shares folder FO (which is located at root) with User B
2. User A shares file FI (which is located at root) with User B
3. User B moves file FI to folder FO

Expected behaviour

File FI should be succesfully moved to folder FO, since the folder is also shared among both users.

Actual behaviour

In user's B view, it seems that everything worked fine. There is no warning, no error message, nothing. But when user B reloads the page, she sees that moving the file didn't work.

In the other way round, if User B had uploaded a file directly into folder FO, and user A tried to move this file out of this folder, the file will disappear to User B, who uploaded the file, definitely, and User A will have this file in his root folder, not shared. This is the expected behaviour in this direction, but the other way round it's not working as expected.

Server configuration

Nexclout in branch master

Operating system:
Ubuntu 16.04

Web server:
Apache

Database:
MySQL

PHP version:
7.2

Nextcloud version: (see Nextcloud admin page)
12.0.1

Updated from an older Nextcloud/ownCloud or fresh install:
Fresh install

Where did you install Nextcloud from:
Github, branch master

Nextcloud log (data/nextcloud.log)

No error in log when doing this operation.

Browser log

No errors in javascript console nor in network.

Reproduce the three sharing and move steps, then check the server operation and reload behavior using data/nextcloud.log and the browser console or network log. Done means User B can move the individually shared file into the shared folder and still see it there after reloading, without errors.