starlark/values/typing/
macro_refs.rs

1/*
2 * Copyright 2019 The Starlark in Rust Authors.
3 * Copyright (c) Facebook, Inc. and its affiliates.
4 *
5 * Licensed under the Apache License, Version 2.0 (the "License");
6 * you may not use this file except in compliance with the License.
7 * You may obtain a copy of the License at
8 *
9 *     https://www.apache.org/licenses/LICENSE-2.0
10 *
11 * Unless required by applicable law or agreed to in writing, software
12 * distributed under the License is distributed on an "AS IS" BASIS,
13 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14 * See the License for the specific language governing permissions and
15 * limitations under the License.
16 */
17
18#![doc(hidden)]
19use crate::values::typing::type_compiled::compiled::TypeCompiled;
20use crate::values::Heap;
21use crate::values::StarlarkValue;
22use crate::values::Value;
23
24#[derive(Debug, thiserror::Error)]
25enum TypingMacroRefsError {
26    #[error("LHS is not a type: `{0}`")]
27    LhsNotType(String),
28}
29
30/// Implementation of `bit_or` for `StarlarkValue` implementations which are types.
31pub fn starlark_value_bit_or_for_type<'v, S: StarlarkValue<'v>>(
32    this: &S,
33    other: Value<'v>,
34    heap: &'v Heap,
35) -> crate::Result<Value<'v>> {
36    let Some(this) = this.eval_type() else {
37        let mut repr = String::new();
38        this.collect_repr(&mut repr);
39        return Err(crate::Error::new_other(TypingMacroRefsError::LhsNotType(
40            repr,
41        )));
42    };
43    let this = TypeCompiled::from_ty(&this, heap);
44    let other = TypeCompiled::new(other, heap)?;
45    Ok(TypeCompiled::type_any_of_two(this, other, heap).to_inner())
46}
starlark/values/typing/macro_refs.rs

starlark/values/typing/
macro_refs.rs
