language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-08-04 02:39:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

feat: add as operator

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-04-19 15:20:46 +09:00
parent 1c6a6b2ec8
commit daf01f3cf2
14 changed files with 119 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

5
crates/erg_compiler/ty/constructors.rs
View file

@ -482,6 +482,11 @@ pub fn subtypeof(sup: Type) -> Constraint {
Constraint::new_sandwiched(Type::Never, sup)
}
#[inline]
pub fn supertypeof(sub: Type) -> Constraint {
Constraint::new_sandwiched(sub, Type::Obj)
}
#[inline]
pub fn mono_q_tp<S: Into<Str>>(name: S, constr: Constraint) -> TyParam {
TyParam::mono_q(name, constr)