Types appearing in fn types shouldn't require an owned bound

Regression test

Closes #2992