facebook / buck2

I would like to clarify something about the licenses that the Buck2 prelude is released under.
In the prelude, it says this:

This source code is licensed under both the MIT license found in the
LICENSE-MIT file in the root directory of this source tree and the Apache
License, Version 2.0 found in the LICENSE-APACHE file in the root directory
of this source tree.

Is the meaning in SPDX notation Apache-2.0 AND MIT (i.e. you must comply with both licenses) or Apache-2.0 OR MIT (i.e. you may choose to use the file under either license)?

Or is MIT OR Apache-2.0, the same license used by rustc and many other foundational Rust projects.

buck2/Cargo.toml

Lines 105 to 106 in bcbc65c

    
           [workspace.package] 
        
           license = "MIT OR Apache-2.0"

I agree the wording describing this in the prelude is unclear. Thank you for flagging this.

Thank you for clarifying.

License details (for SPDX compliance)