Step 1:
In IDE 2.3.6 I responded to an 'Updates Available...' notification, chose 'Install Manually', selected 'ArxTypeTraits', and then clicked UPDATE.
Step 2
Opened my \libraries folder, and its entry for ArxTypeTraits.
Step 3
Unusually it had a subfolder of the same name.
Step 4
That proved to be empty.
Full text of last line of the error in step 1:
C:\Users\terry\Dropbox\Electronics\Arduino\SKETCHES\libraries\ArxTypeTraits\ArxTypeTraits: The process cannot access the file because it is being used by another process.
Only one (unrelated) sketch was open and I had not started any work on it or on anything remotely connected with ArxTypeTraits (which BTW I don't recall knowingly ever used).
Q1: Is there some known explanation for the 2.3.6 failure above? Of course, it now occurs to me that it's possible there was some damage (e.g a folder deletion), before I tried the update. If I ever use IDE 2.3.6 in future to repond to its 'Updatable; notification (I'll probably do that with 1.8.19 until I'm confident), then I will check the \libraries entry FIRST.
I'll report below my further exploration which might be helpful for the developers.
Step 5
Made another attempt to update but this time got message it was already installed, which presumably it isn't. The message closed and so did that 'updatable' entry.
Step 6
Closed IDE 2.3.6 and opened 1.8.19. No message re Updatable library entries.
Opened a random sketch (Blink) to see if that might somehow get 1.8.19 to notify me about the other updatable libraries. It still has not done so after 10-15 mins.
Q2: Why? Does 1.8.19 still deliver notifications?
Step 7
Still in 1.8.19, Tools > Manage Libraries > Updatable showed those two and I then successfully updated them.
Step 8.
Switched to the Installed filter, selected ArxTypeTraits and (apparently) updated it.
Step 9
But \libraries has not changed.
Step 10
In case it was installed elsewhere, tried an #include in a bare minimum sketch and as expected got "ArxTypeTraits.h: No such file or directory"
Q3: Why no error message from 1.8.19?
