Ownership.own does not check if the resource is already owned

[polytypic]

I noticed recently that Ownership.own:

miou/lib/miou.ml

Lines 985 to 993 in 072de4f

	let own (Resource { uid; _ } as res) =
	let (Pack self) = Effect.perform Self in
	Logs.debug (fun m ->
	m "[%a] adds [%a] into %a" Domain_uid.pp self.runner Resource_uid.pp uid
	Promise.pp self);
	let equal (Resource { uid= uid'; _ }) = Resource_uid.equal uid uid' in
	if Miou_sequence.exists equal self.resources then
	invalid_arg "The current promise already holds the resource given"
	else Miou_sequence.(add Left) self.resources res

does not check whether the resource is already owned by some other fiber (or promise). Currently, if you call Ownership.own on a resource that is already owned by some other fiber, then it will corrupt the resource list of that other fiber.

[dinosaure]

This is more in line with the Rust-style exclusion model you might have in mind when manipulating resources. I'll try to find a solution here. The Ownership API is still experimental and I'll have to iterate on it to see if it works. Thanks.