Merge branch 'failing-test-for-overloading-pragma' into blead