Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/Rust-API/Rust-API-Bypass-Checker
/ narrowing_with
Method
narrowing_with
src/analysis/numerical/interval_domain.rs:240–242 ·
view source on GitHub ↗
(&self, rhs: &Self)
Source
from the content-addressed store, hash-verified
238
}
239
240
pub fn narrowing_with(&self, rhs: &Self) -> Self {
241
self.meet(rhs)
242
}
243
244
pub fn widening_with(&self, rhs: &Self) -> Self {
245
if self.is_bottom() {
Callers
nothing calls this directly
Calls
1
meet
Method · 0.45
Tested by
no test coverage detected