c39107d8

By: Greg Pfeil <greg@technomadic.org> 

Update test proofs

Also remove another `-Wx-partial` that was added on trunk.
Tree Timing
configurex86_64-linux

Agent Instructions

This page shows the dependency graph between runs in the suite.

For more instructions, fetch https://nix-ci.com/instructions .