compile-fail tests for #[non_owned] and #[mutable]